ALASCA: Reasoning in Quantified Linear Arithmetic (Extended Version)

EasyChair Preprint 9606, version history

Konstantin Korovin, Laura Kovacs, Giles Reger, Johannes Schoisswohl and Andrei Voronkov

Version	Date	Pages	Version notes
1	January 20, 2023	45
2	January 21, 2023	45	updated information, details on proofs.
3	January 27, 2023	45	various little fixes and reformulations
4	January 30, 2023	45	updated wrong grant acknowledgement
5	April 22, 2023	45	Minor changes to match camera ready version pubished in tacas.

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

BibTeX entry

BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:

@booklet{EasyChair:9606,
  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 9606},
  year      = {EasyChair, 2023}}