SMT

Keyphrases

Publications

2023

Christopher Lynch, Stephen Miner
Complete Trigger Selection in Satisfiability Modulo First-Order Theories. SMT (2023)
Romain Béguet, Raphaël Amiard
Application of SMT in a Meta-Compiler: A Logic DSL for Specifying Type Systems. SMT (2023)
Michael Whalen
Invited Talk: SAT and SMT Solving at Cloud Scale. SMT (2023)
Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, Mohsen Ahmadvand
Automated Analysis of Halo2 Circuits. SMT (2023)
Philipp Bär, Jasper Nalbach, Erika Ábrahám, Christopher W. Brown
Exploiting Strict Constraints in the Cylindrical Algebraic Covering. SMT (2023)
Hanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli
Automatic Verification of SMT Rewrites in Isabelle/HOL. SMT (2023)
Oded Padon
Invited Talk: Deductive Verification of Distributed Protocols in Decidable Logics. SMT (2023)
Guillaume Bury, François Bobot
Verifying Models with Dolmen. SMT (2023)
Jan Jakubuv, Mikolás Janota, Bartosz Piotrowski, Jelle Piepenbrock, Andrew Reynolds
Selecting Quantifiers for Instantiation in SMT. SMT (2023)

volume 3429, 2023

Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), Rome, Italy, July, 5-6, 2023. SMT 3429 (2023)

2022

volume 3185, 2022

Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), Haifa, Israel, August 11-12, 2022. SMT 3185 (2022)

2021

volume 2908, 2021

Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), Online (initially located in Los Angeles, USA), July 18-19, 2021. SMT 2908 (2021)

volume 2854, 2021

Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Online (initially located in Paris, France), July 5-6, 2020. SMT 2854 (2021)

2020

2017

volume 1889, 2017

Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22 - 23, 2017. SMT 1889 (2017)