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