Keyword:virtual substitution

Publications
VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic Johannes Schoisswohl, Laura Kovács and Konstantin Korovin In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning