The Succinct Solver Suite
No abstract available.
Related papers
- Orbitopal Fixing in SAT TACAS 2026
- Membership-Based Synthesis of Linear Hybrid Automata CAV 2019
- String constraints with concatenation and transducers solved efficiently POPL 2018
- Strategy Representation by Decision Trees in Reactive Synthesis TACAS 2018
- Solving Program Sketches with Large Integer Values TOPLAS 2022
- Solving Program Sketches with Large Integer Values ESOP 2020
- Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy TACAS 2011
- Satisfiability Modulo Extensional Constant Arrays CAV 2026