HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:SMT solving

Papers
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
SMT Solving over Finite Field Arithmetic
Thomas Hader, Daniela Ritirc and Laura Kovács
In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
How Many Bits Does it Take to Quantize Your Neural Network?
Mirco Giacobbe, Thomas A. Henzinger and Mathias Lechner
EasyChair Preprint no. 1000
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
Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning
Giles Reger, Martin Suda and Andrei Voronkov
EasyChair Preprint no. 1
Experiments on the feasibility of using a floating-point simplex in an SMT solver
Diego Caminha B de Oliveira and David Monniaux
In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
Copyright © 2012-2023 easychair.org. All rights reserved.