Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), Montreal, Canada, July, 22-23, 2024 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Giles Reger, Yoni Zohar, editors, Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), Montreal, Canada, July, 22-23, 2024. Volume 3725 of CEUR Workshop Proceedings, CEUR-WS.org, 2024. [doi]

Conference: smt2024

Abstract is missing.

Invited Talk: The Hows and Whys of Higher-Order SMTSophie Tourret. 1 [doi]

Challenges in Bit-Vector ReasoningMathias Preiner. 2 [doi]

An SMT-LIB Theory of Finite FieldsThomas Hader, Alex Ozdemir. 3-12 [doi]

Reconstruction of SMT Proofs with LambdapiAlessio Coltellacci, Stephan Merz, Gilles Dowek. 13-23 [doi]

Arrays Reasoning in MCSatAhmed Irfan, Stéphane Graham-Lengrand. 24-35 [doi]

CSB: A Counting and Sampling Tool for Bit-vectorsArijit Shaw, Kuldeep S. Meel. 36-43 [doi]

Minimal Logic Detection and Exporting SMTLIB Problems with DolmenGuillaume Bury. 44-52 [doi]

A Bit-vector to Integer Translation with bv2nat and nat2bvMax Barth, Matthias Heizmann. 53-63 [doi]

An SMT theory for N-Indexed SequencesHichem Rami Ait El Hara, François Bobot, Guillaume Bury. 64-74 [doi]

Layered and Staged Monte Carlo Tree Search for SMT Strategy SynthesisZhengyang Lu, Stefan Siemer, Piyush Jha, Joel D. Day, Florin Manea, Vijay Ganesh 0001. 75 [doi]

runs on WebDSL