Keyword:linear arithmetic

Papers
ALASCA: Reasoning in Quantified Linear Arithmetic (Extended Version) Konstantin Korovin, Laura Kovács, Giles Reger, Johannes Schoisswohl and Andrei Voronkov EasyChair Preprint no. 9606
Decidable linear list constraints Sabine Bauer and Martin Hofmann In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning