HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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.
Copyright © 2012-2023 easychair.org. All rights reserved.