Compiling Problem Specifications into SAT
Abstract elided by the publisher.
Related papers
- Solving String Constraints Using SAT CAV 2023
- DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories TACAS 2024
- Specification-Based Program Repair Using SAT TACAS 2011
- SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques PLDI 2024
- Encodings of Bounded Synthesis TACAS 2017
- Parallel SAT Simplification on GPU Architectures TACAS 2019
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving TACAS 2018
- Local Search with a SAT Oracle for Combinatorial Optimization TACAS 2021