ALASCA: Reasoning in Quantified Linear Arithmetic.

Konstantin Korovin, Laura Kovcs, Giles Reger, Johannes Schoisswohl, Andrei Voronkov

Browse the full TACAS paper archive.