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
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
