Pages that link to "Item:Q2441712"
From MaRDI portal
The following pages link to Unified QBF certification and its applications (Q2441712):
Displaying 41 items.
- Solving QBF with counterexample guided refinement (Q253964) (← links)
- Quantified maximum satisfiability (Q272016) (← links)
- The QBF Gallery: behind the scenes (Q286397) (← links)
- The reflective Milawa theorem prover is sound (down to the machine code that runs it) (Q286790) (← links)
- Soundness of \(\mathcal{Q}\)-resolution with dependency schemes (Q896919) (← links)
- Relating size and width in variants of Q-resolution (Q1653019) (← links)
- Understanding cutting planes for QBFs (Q1784953) (← links)
- Building strategies into QBF proofs (Q2031411) (← links)
- Boolean functional synthesis: hardness and practical algorithms (Q2050108) (← links)
- QBFFam: a tool for generating QBF families from proof complexity (Q2118282) (← links)
- Lower bounds for QCDCL via formula gauge (Q2118284) (← links)
- Hardness and optimality in QBF proof systems modulo NP (Q2118289) (← links)
- Proof complexity of symbolic QBF reasoning (Q2118330) (← links)
- Expansion-based QBF solving versus Q-resolution (Q2339467) (← 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)
- Henkin quantifiers and Boolean formulae: a certification perspective of DQBF (Q2435315) (← links)
- A Game Characterisation of Tree-like Q-resolution Size (Q2799200) (← links)
- On Q-Resolution and CDCL QBF Solving (Q2818030) (← links)
- On Stronger Calculi for QBFs (Q2818031) (← links)
- 2QBF: Challenges and Solutions (Q2818033) (← links)
- Lifting QBF Resolution Calculi to DQBF (Q2818035) (← links)
- Long Distance Q-Resolution with Dependency Schemes (Q2818036) (← links)
- HordeQBF: A Modular and Massively Parallel QBF Solver (Q2818039) (← links)
- Lower Bound Techniques for QBF Proof Systems (Q3304096) (← links)
- (Q3384880) (← links)
- Feasible Interpolation for QBF Resolution Calculi (Q3448783) (← links)
- QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving (Q3453239) (← links)
- (Q4625701) (← links)
- (Q4625702) (← links)
- CAQE and QuAbS: Abstraction Based QBF Solvers (Q5015608) (← links)
- (Q5090460) (← links)
- Hardness Characterisations and Size-width Lower Bounds for QBF Resolution (Q5886517) (← links)
- Lower bounds for QCDCL via formula gauge (Q6053848) (← links)
- Functional synthesis via input-output separation (Q6102165) (← links)
- Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution (Q6135750) (← links)
- Towards Uniform Certification in QBF (Q6151563) (← links)
- Classes of hard formulas for QBF resolution (Q6488807) (← links)
- Should Decisions in QCDCL Follow Prefix Order? (Q6493568) (← links)
