scientific article
From MaRDI portal
Publication:2751045
zbMath0979.68124MaRDI QIDQ2751045
Marco Schaerf, Massimo Giovanardi, Marco Cadoli, Andrea Giovanardi
Publication date: 27 February 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (15)
Solution validation and extraction for QBF preprocessing ⋮ Boolean functions as models for quantified Boolean formulas ⋮ Solving quantified constraint satisfaction problems ⋮ Unnamed Item ⋮ A satisfiability procedure for quantified Boolean formulae ⋮ Formal verification based on Boolean expression diagrams ⋮ On a decision procedure for quantified linear programs ⋮ Models and quantifier elimination for quantified Horn formulas ⋮ Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers ⋮ On deciding subsumption problems ⋮ Q-Resolution with Generalized Axioms ⋮ HordeQBF: A Modular and Massively Parallel QBF Solver ⋮ A Compact Representation for Syntactic Dependencies in QBFs ⋮ Non-binary quantified CSP: Algorithms and modelling ⋮ Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas
This page was built for publication:
