The following pages link to (Q2751045):
Displaying 6 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)
- Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers (Q5170277) (← links)