On Parallel Scalable Uniform SAT Witness Generation
No abstract available.
Related papers
- A Scalable and Nearly Uniform Generator of SAT Witnesses CAV 2013
- A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses CPP 2011
- Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling CAV 2020
- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers TACAS 2023
- A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation TACAS 2024
- Counting Minimal Unsatisfiable Subsets CAV 2021
- SAT-Based Synthesis Methods for Safety Specs VMCAI 2014
- The HdpH DSLs for scalable reliable computation Haskell 2014