Keyword:SMT solvers

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