Dmitry Chistikov

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 the power of ordering in linear arithmetic theories
• Context-free commutative grammars with integer counters and resets
• On the Complexity of Quantified Integer Programming
• The Taming of the Semi-Linear Set