The following pages link to Bloqqer (Q21559):
Displaying 31 items.
- Solving QBF with counterexample guided refinement (Q253964) (← links)
- The QBF Gallery: behind the scenes (Q286397) (← links)
- Quantifier reordering for QBF (Q287386) (← links)
- Algorithms for computing minimal equivalent subformulas (Q460638) (← links)
- Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations (Q2058378) (← links)
- Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving (Q2124467) (← links)
- The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17) (Q2321317) (← links)
- Solution validation and extraction for QBF preprocessing (Q2362496) (← links)
- Conformant planning as a case study of incremental QBF solving (Q2398267) (← links)
- Long-distance Q-resolution with dependency schemes (Q2417950) (← links)
- A game characterisation of tree-like Q-resolution size (Q2424676) (← links)
- Super-Blocked Clauses (Q2817910) (← links)
- Incremental Determinization (Q2818028) (← links)
- Q-Resolution with Generalized Axioms (Q2818032) (← links)
- 2QBF: Challenges and Solutions (Q2818033) (← links)
- Long Distance Q-Resolution with Dependency Schemes (Q2818036) (← links)
- HordeQBF: A Modular and Massively Parallel QBF Solver (Q2818039) (← links)
- Extended Failed-Literal Preprocessing for Quantified Boolean Formulas (Q2843325) (← links)
- Solving QBF with Counterexample Guided Refinement (Q2843327) (← links)
- On QBF Proofs and Preprocessing (Q2870148) (← links)
- A Unified Proof System for QBF Preprocessing (Q3192183) (← links)
- Truth Assignments as Conditional Autarkies (Q3297584) (← links)
- Encodings of Bounded Synthesis (Q3303904) (← links)
- Preprocessing for DQBF (Q3453223) (← 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)
- Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination (Q3460072) (← links)
- (Q4553279) (← links)
- Planning with Incomplete Information in Quantified Answer Set Programming (Q5019607) (← links)
- Recovering and Utilizing Partial Duality in QBF (Q5326455) (← links)
- SAT-Inspired Eliminations for Superposition (Q5875949) (← links)
