Pages that link to "Item:Q1610666"
From MaRDI portal
The following pages link to An algorithm to evaluate quantified Boolean formulae and its experimental evaluation (Q1610666):
Displaying 30 items.
- On 2-QBF truth testing in parallel (Q672737) (← links)
- An effective algorithm for the futile questioning problem (Q812439) (← links)
- Backjumping for quantified Boolean logic satisfiability (Q814445) (← links)
- Complexity results for explanations in the structural-model approach (Q814579) (← links)
- The complexity of constraint satisfaction games and QCSP (Q840700) (← links)
- Deciding Boolean algebra with Presburger arithmetic (Q861705) (← links)
- Soundness of \(\mathcal{Q}\)-resolution with dependency schemes (Q896919) (← links)
- Level-ordered \(Q\)-resolution and tree-like \(Q\)-resolution are incomparable (Q903199) (← links)
- Value ordering for quantified CSPs (Q1020498) (← links)
- Non-binary quantified CSP: Algorithms and modelling (Q1037645) (← links)
- Expansion-based QBF solving versus Q-resolution (Q2339467) (← links)
- Solving quantified constraint satisfaction problems (Q2389634) (← links)
- Conformant planning as a case study of incremental QBF solving (Q2398267) (← links)
- Long-distance Q-resolution with dependency schemes (Q2417950) (← links)
- Henkin quantifiers and Boolean formulae: a certification perspective of DQBF (Q2435315) (← links)
- Unified QBF certification and its applications (Q2441712) (← links)
- Compiling problem specifications into SAT (Q2457689) (← links)
- Computational methods for database repair by signed formulae (Q2502158) (← links)
- An algorithm to evaluate quantified Boolean formulae and its experimental evaluation (Q2751045) (← links)
- Incremental Determinization (Q2818028) (← links)
- On Q-Resolution and CDCL QBF Solving (Q2818030) (← links)
- Long Distance Q-Resolution with Dependency Schemes (Q2818036) (← links)
- Failed Literal Detection for QBF (Q3007688) (← links)
- Lower Bound Techniques for QBF Proof Systems (Q3304096) (← links)
- Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API (Q3453224) (← links)
- QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving (Q3453239) (← links)
- A Unified Framework for Certificate and Compilation for QBF (Q3601811) (← links)
- (Q4520773) (← links)
- The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1 (Q5015602) (← links)
- Theory and Applications of Satisfiability Testing (Q5325863) (← links)
