Keyword:SMT solving

Publications
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