HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:SMT solving

Publications
Divide and Conquer: a Compositional Approach to Game-Theoretic Security
Ivana Bocevska, Anja Petković Komel, Laura Kovács, Sophie Rain and Michael Rawson
EasyChair Preprint 15785
How Many Bits Does it Take to Quantize Your Neural Network?
Mirco Giacobbe, Thomas A. Henzinger and Mathias Lechner
EasyChair Preprint 1000
Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning
Giles Reger, Martin Suda and Andrei Voronkov
EasyChair Preprint 1
SMT Solving over Finite Field Arithmetic
Thomas Hader, Daniela Kaufmann and Laura Kovacs
In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification
Petra Hozzová, Jaroslav Bendík, Alexander Nutz and Yoav Rodeh
In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Lookahead-Based SMT Solving
Antti Hyvärinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler and Natasha Sharygina
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Incremental Solving with Vampire
Giles Reger and Martin Suda
In:Vampire 2017. Proceedings of the 4th Vampire Workshop
Experiments on the feasibility of using a floating-point simplex in an SMT solver
Diego Caminha Barbosa de Oliveira and David Monniaux
In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
Copyright © 2012-2025 easychair.org. All rights reserved.