Keyword:SMT solvers

Publications
Oracle Integration of Floating-Point Solvers with Isabelle Olle Torstensson and Tjark Weber EasyChair Preprint 8640
Reasoning About Data Trees Using CHCs Marco Faella and Gennaro Parlato EasyChair Preprint 8615
Ground Associative and Commutative Completion Modulo Shostak Theories Sylvain Conchon, Evelyne Contejean and Mohamed Iguernelala In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.