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