Automatic Generation of Propagation Complete SAT Encodings
Abstract elided by the publisher.
Related papers
- From Clauses to Klauses CAV 2024
- Satune: synthesizing efficient SAT encoders OOPSLA 2020
- Encoding Redundancy for Satisfaction-Driven Clause Learning TACAS 2019
- Speculative SAT Modulo SAT TACAS 2024
- Improving the Encoding of LTL Model Checking into SAT VMCAI 2002
- Automated Ambiguity Detection in Layout-Sensitive Grammars OOPSLA 2023
- Generating Extended Resolution Proofs with a BDD-Based SAT Solver TACAS 2021
- Sound and Complete Invariant-Based Heap Encodings OOPSLA 2026