Publication:2751045
From MaRDI portal
zbMath0979.68124MaRDI QIDQ2751045
Marco Schaerf, Marco Cadoli, Andrea Giovanardi, Massimo Giovanardi
Publication date: 27 February 2002
68W05: Nonnumerical algorithms
Related Items
Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers, Models and quantifier elimination for quantified Horn formulas, Non-binary quantified CSP: Algorithms and modelling, A satisfiability procedure for quantified Boolean formulae, On deciding subsumption problems, Formal verification based on Boolean expression diagrams, Solving quantified constraint satisfaction problems, On a decision procedure for quantified linear programs, Boolean functions as models for quantified Boolean formulas, Unnamed Item, A Compact Representation for Syntactic Dependencies in QBFs, Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas