Keyword:literal selection

Publications
Enhancing Superposition Reasoning in Linear Real Arithmetic through Selection and Simplification Johannes Schoisswohl, Laura Kovács, Konstantin Korovin and Andrei Voronkov In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Enhancing Superposition Reasoning in Linear Real Arithmetic through Selection and Simplification (Extended Version) Johannes Schoisswohl, Laura Kovács, Konstantin Korovin and Andrei Voronkov EasyChair Preprint 16032