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

EasyChair Preprint no. 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: automated reasoning, Descision Procedure, LIA, linear arithmetic, LIRA, logic, LRA, Presburger arithmetic, quantifier elimination, SMT

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 no. 13150},

  year = {EasyChair, 2024}}