ALASCA: Reasoning in Quantified Linear Arithmetic (Extended Version)

EasyChair Preprint no. 9606, version history

VersionDatePagesVersion notes
1January 20, 202345
2January 21, 202345

updated information, details on proofs.

3January 27, 202345

various little fixes and reformulations

4January 30, 202345

updated wrong grant acknowledgement

5April 22, 202345

Minor changes to match camera ready version pubished in tacas.

Keyphrases: automated reasoning, linear arithmetic, Quantified First-Order Logic, SMT, theorem proving

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
  author = {Konstantin Korovin and Laura Kovacs and Giles Reger and Johannes Schoisswohl and Andrei Voronkov},
  title = {ALASCA: Reasoning in Quantified Linear Arithmetic (Extended Version)},
  howpublished = {EasyChair Preprint no. 9606},

  year = {EasyChair, 2023}}