Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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.