Using SAT in QBF
From MaRDI portal
Recommendations
- Theory and Applications of Satisfiability Testing
- Principles and Practice of Constraint Programming – CP 2004
- Theory and Applications of Satisfiability Testing
- QELL: QBF reasoning with extended clause learning and levelized SAT solving
- Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
Cited in
(17)- Q-resolution with generalized axioms
- Dynamically Partitioning for Solving QBF
- Solving QBF with counterexample guided refinement
- Local redundancy in SAT: generalizations of blocked clauses
- Principles and Practice of Constraint Programming – CP 2004
- A heuristic survey propagation algorithm for solving QBF problems
- Beyond CNF: A Circuit-Based QBF Solver
- Failed literal detection for QBF
- Theory and Applications of Satisfiability Testing
- Message passing algorithm for solving QBF using more reasoning
- Reinterpreting dependency schemes: soundness meets incompleteness in DQBF
- Solving Quantified Boolean Formulas with Circuit Observability Don’t Cares
- QELL: QBF reasoning with extended clause learning and levelized SAT solving
- Using stochastic local search to solve quantified Boolean formulae
- A Unified Framework for Certificate and Compilation for QBF
- HordeQBF: a modular and massively parallel QBF solver
- scientific article; zbMATH DE number 7278086 (Why is no real title available?)
This page was built for publication: Using SAT in QBF
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3524206)
