The following pages link to (Q3624018):
Displayed 28 items.
- The QBF Gallery: behind the scenes (Q286397) (← links)
- Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
- Soundness of \(\mathcal{Q}\)-resolution with dependency schemes (Q896919) (← links)
- Non-binary quantified CSP: Algorithms and modelling (Q1037645) (← links)
- Building strategies into QBF proofs (Q2031411) (← links)
- Dual proof generation for quantified Boolean formulas with a BDD-based solver (Q2055876) (← links)
- Lower bounds for QCDCL via formula gauge (Q2118284) (← links)
- Characterising tree-like Frege proofs for QBF (Q2272983) (← links)
- The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17) (Q2321317) (← 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)
- On Q-Resolution and CDCL QBF Solving (Q2818030) (← 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)
- Abstraction-Based Algorithm for 2QBF (Q3007686) (← links)
- Failed Literal Detection for QBF (Q3007688) (← 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)
- Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas (Q3655211) (← links)
- Lower bounds for QCDCL via formula gauge (Q6053848) (← links)
- Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution (Q6135750) (← links)