The following pages link to (Q3620436):
Displayed 28 items.
- Solving QBF with counterexample guided refinement (Q253964) (← links)
- The QBF Gallery: behind the scenes (Q286397) (← links)
- Understanding cutting planes for QBFs (Q1784953) (← links)
- Lower bound techniques for QBF expansion (Q1987510) (← links)
- A formal methods approach to predicting new features of the eukaryotic vesicle traffic system (Q2022307) (← links)
- Building strategies into QBF proofs (Q2031411) (← links)
- Solution validation and extraction for QBF preprocessing (Q2362496) (← links)
- Long-distance Q-resolution with dependency schemes (Q2417950) (← links)
- A game characterisation of tree-like Q-resolution size (Q2424676) (← links)
- A QBF-based formalization of abstract argumentation semantics (Q2446545) (← links)
- A Game Characterisation of Tree-like Q-resolution Size (Q2799200) (← links)
- Q-Resolution with Generalized Axioms (Q2818032) (← links)
- Long Distance Q-Resolution with Dependency Schemes (Q2818036) (← links)
- Validating QBF Validity in HOL4 (Q3088005) (← links)
- Proving Valid Quantified Boolean Formulas in HOL Light (Q3088006) (← links)
- (Q3304106) (← links)
- Feasible Interpolation for QBF Resolution Calculi (Q3448783) (← links)
- Bounded Synthesis for Petri Games (Q3449635) (← links)
- Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API (Q3453224) (← links)
- A Unified Framework for Certificate and Compilation for QBF (Q3601811) (← links)
- A Compact Representation for Syntactic Dependencies in QBFs (Q3637175) (← links)
- (Q4625701) (← links)
- (Q4625702) (← links)
- (Q4993272) (← links)
- CAQE and QuAbS: Abstraction Based QBF Solvers (Q5015608) (← links)
- (Q5090460) (← links)
- (Q5136303) (← links)
- Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers (Q5170277) (← links)