Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis [Presentation Only]

Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel Day, Florin Manea and Vijay Ganesh

Limits of CDCL Learning via Merge Resolution

Marc Vinyals, Noah Fleming, Vijay Ganesh, Antonina Kolokolova and Chunxiao Li

Learning Shorter Redundant Clauses in SDCL Using MaxSAT

Albert Oliveras, Chunxiao Li, Darryl Wu, Jonathan Chung and Vijay Ganesh

Solving Lam's Problem via SAT and Isomorph-Free Exhaustive Generation

Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias Kotsireas and Vijay Ganesh

On the Hierarchical Community Structure of Practical SAT Formulas

Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu and Vijay Ganesh

Machine Learning-based Restart Policy for CDCL SAT Solvers

Jia Liang, Chanseok Oh, Minu Mathews, Ciza Thomas, Chunxiao Li and Vijay Ganesh

StringFuzz: A Fuzzer for String Solvers

Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir and Vijay Ganesh

The Proof Complexity of SMT Solvers

Robert Robere, Antonina Kolokolova and Vijay Ganesh