Keyword:real arithmetic

Publications
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
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
Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers Sylvain Conchon, Guillaume Melquiond, Cody Roux and Mohamed Iguernelala In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories