LARA Exercises 09 Applications of quantifier elimination List of Theories Admitting QE Simple QE for Dense Linear Orders Simple QE for Integer Difference Inequalities QE for Presburger Arithmetic Small Solutions for Quantifier-Free Presburger Arithmetic Deciding Boolean Algebra with Presburger Arithmetic
