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