HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:SMT solving

Papers
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.