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

EasyChair Preprint 13150, version history

VersionDatePagesVersion 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}}