VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic (Extended Version)EasyChair Preprint 13150, version history
Keyphrases: Descision Procedure, LIA, LIRA, LRA, Presburger arithmetic, SMT, automated reasoning, linear arithmetic, logic, quantifier elimination |