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 - researchr publication

researchr

You are not signed in
Sign in
Sign up

David Déharbe, Antti E. J. Hyvärinen, editors, 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. Volume 3185 of CEUR Workshop Proceedings, CEUR-WS.org, 2022. [doi]

Conference: smt2022

Abstract is missing.

Invited Talk: Local Search for Bit-Precise Reasoning and BeyondAina Niemetz. 1 [doi]

Trail Saving in SMTMilan Bankovic, David Scepanovic. 2-17 [doi]

CDSAT for Nondisjoint Theories with Shared Predicates: Arrays With Abstract LengthMaria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar. 18-37 [doi]

An SMT-LIB Theory of HeapsZafer Esen, Philipp Rümmer. 38-53 [doi]

A Simple Proof Format for SMTJochen Hoenicke, Tanja Schindler. 54-70 [doi]

User-Propagators for Custom Theories in SMT SolvingNikolaj S. Bjørner, Clemens Eisenhofer, Laura Kovács. 71-79 [doi]

The VMT-LIB Language and ToolsAlessandro Cimatti, Alberto Griggio, Stefano Tonetta. 80-89 [doi]

An SMT Approach for Solving Polynomials over Finite FieldsThomas Hader, Laura Kovács. 90-98 [doi]

Goose: A Meta-Solver for Deep Neural Network VerificationJoseph Scott, Guanting Pan, Elias B. Khalil, Vijay Ganesh. 99-113 [doi]

On Satisfiability of Polynomial Equations over Large Prime FieldsLucas Clemente Vella, Leonardo Alt. 114-127 [doi]

Abstract: Challenges and Solutions for Higher-Order SMT ProofsChad E. Brown, Mikolás Janota, Cezary Kaliszyk. 128 [doi]

runs on WebDSL