Keyword:Satisfiability Modulo Theories

Publications
Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning Giles Reger, Martin Suda and Andrei Voronkov EasyChair Preprint 1
Combining Combination Properties: Minimal Models Guilherme V. Toledo and Yoni Zohar In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
On SMT Theory Design: The Case of Sequences Hichem Rami Ait El Hara, François Bobot and Guillaume Bury In:LPAR 2024 Complementary Volume
On the Complexity of Convex and Reverse Convex Prequadratic Constraints Rodrigo Raya, Jad Hamza and Viktor Kuncak In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? (Experimental Paper) Martin Jonáš and Jan Strejček In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Function Summarization Modulo Theories Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti Hyvärinen, Karine Even-Mendoza, Natasha Sharygina and Hana Chockler In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
AVATAR Modulo Theories Giles Reger, Nikolaj Bjorner, Martin Suda and Andrei Voronkov In:GCAI 2016. 2nd Global Conference on Artificial Intelligence
Effectively Monadic Predicates Margus Veanes, Nikolaj Bjorner, Lev Nachmanson and Sergey Bereg In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
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
The SMT Execution Service: Features, Fairness, and the Future Morgan Deters In:EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions
MCMT in the Land of Parametrized Timed Automata Alessandro Carioni, Silvio Ghilardi and Silvio Ranise In:VERIFY-2010. 6th International Verification Workshop