Alessio Mansutti

Latest

• Geometric decision procedures and the VC dimension of linear arithmetic theories
• Quantifier elimination for counting extensions of Presburger arithmetic
• Higher-Order Quantified Boolean Satisfiability
• On deciding linear arithmetic constraints over $p$-adic integers for all primes