VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic (Extended Version)

EasyChair Preprint 13150, version history

Johannes Schoisswohl, Laura Kovács and Konstantin Korovin

Version	Date	Pages	Version notes
1	April 30, 2024	58
2	May 7, 2024	56	changed abstract captialisation, added grant acknowledgements and fixed typos.

Keyphrases: Descision Procedure, LIA, LIRA, LRA, Presburger arithmetic, SMT, automated reasoning, linear arithmetic, logic, quantifier elimination

BibTeX entry

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

@booklet{EasyChair:13150,
  author    = {Johannes Schoisswohl and Laura Kovács and Konstantin Korovin},
  title     = {VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic (Extended Version)},
  howpublished = {EasyChair Preprint 13150},
  year      = {EasyChair, 2024}}