An algorithm to evaluate quantified Boolean formulae and its experimental evaluation
From MaRDI portal
Recommendations
- An algorithm to evaluate quantified Boolean formulae and its experimental evaluation
- scientific article; zbMATH DE number 2119676
- Theory and Applications of Satisfiability Testing
- Partial implicit unfolding in the Davis-Putnam procedure for quantified Boolean formulae
- A satisfiability procedure for quantified Boolean formulae
Cited in
(32)- Theory and Applications of Satisfiability Testing
- A Unified Framework for Certificate and Compilation for QBF
- Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API
- Compiling problem specifications into SAT
- Computational methods for database repair by signed formulae
- Unified QBF certification and its applications
- Expansion-based QBF solving versus Q-resolution
- An algorithm to evaluate quantified Boolean formulae and its experimental evaluation
- Level-ordered \(Q\)-resolution and tree-like \(Q\)-resolution are incomparable
- Henkin quantifiers and Boolean formulae: a certification perspective of DQBF
- Lower bound techniques for QBF proof systems
- QELL: QBF reasoning with extended clause learning and levelized SAT solving
- An effective algorithm for the futile questioning problem
- Value ordering for quantified CSPs
- Backjumping for quantified Boolean logic satisfiability
- Complexity results for explanations in the structural-model approach
- The complexity of constraint satisfaction games and QCSP
- Long distance Q-resolution with dependency schemes
- Soundness of \(\mathcal{Q}\)-resolution with dependency schemes
- Partial implicit unfolding in the Davis-Putnam procedure for quantified Boolean formulae
- Incremental determinization
- Long-distance Q-resolution with dependency schemes
- Exploiting structure in quantified formulas
- Non-binary quantified CSP: Algorithms and modelling
- Failed literal detection for QBF
- scientific article; zbMATH DE number 2119676 (Why is no real title available?)
- Conformant planning as a case study of incremental QBF solving
- The (D)QBF preprocessor HQSpre -- underlying theory and its implementation
- Solving quantified constraint satisfaction problems
- scientific article; zbMATH DE number 1543307 (Why is no real title available?)
- On Q-resolution and CDCL QBF solving
- Deciding Boolean algebra with Presburger arithmetic
This page was built for publication: An algorithm to evaluate quantified Boolean formulae and its experimental evaluation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1610666)
