The following pages link to (Q2751045):
Displaying 13 items.
- Models and quantifier elimination for quantified Horn formulas (Q944709) (← links)
- Non-binary quantified CSP: Algorithms and modelling (Q1037645) (← links)
- A satisfiability procedure for quantified Boolean formulae (Q1408385) (← links)
- On deciding subsumption problems (Q1777407) (← links)
- Formal verification based on Boolean expression diagrams (Q1954165) (← links)
- Solution validation and extraction for QBF preprocessing (Q2362496) (← links)
- Solving quantified constraint satisfaction problems (Q2389634) (← links)
- On a decision procedure for quantified linear programs (Q2462634) (← links)
- Boolean functions as models for quantified Boolean formulas (Q2642467) (← links)
- (Q2741533) (← links)
- Q-Resolution with Generalized Axioms (Q2818032) (← links)
- HordeQBF: A Modular and Massively Parallel QBF Solver (Q2818039) (← links)
- Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers (Q5170277) (← links)
