scientific article
From MaRDI portal
Publication:3620436
zbMath1172.68538MaRDI QIDQ3620436
Hratch Mangassarian, Marco H. Benedetti
Publication date: 14 April 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (28)
Solution validation and extraction for QBF preprocessing ⋮ The QBF Gallery: behind the scenes ⋮ Feasible Interpolation for QBF Resolution Calculi ⋮ Bounded Synthesis for Petri Games ⋮ Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API ⋮ Unnamed Item ⋮ Long-distance Q-resolution with dependency schemes ⋮ Unnamed Item ⋮ A game characterisation of tree-like Q-resolution size ⋮ A QBF-based formalization of abstract argumentation semantics ⋮ Lower bound techniques for QBF expansion ⋮ Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers ⋮ A formal methods approach to predicting new features of the eukaryotic vesicle traffic system ⋮ Unnamed Item ⋮ A Unified Framework for Certificate and Compilation for QBF ⋮ Understanding cutting planes for QBFs ⋮ Building strategies into QBF proofs ⋮ A Game Characterisation of Tree-like Q-resolution Size ⋮ Q-Resolution with Generalized Axioms ⋮ Long Distance Q-Resolution with Dependency Schemes ⋮ Validating QBF Validity in HOL4 ⋮ Proving Valid Quantified Boolean Formulas in HOL Light ⋮ A Compact Representation for Syntactic Dependencies in QBFs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ CAQE and QuAbS: Abstraction Based QBF Solvers ⋮ Solving QBF with counterexample guided refinement
Uses Software
This page was built for publication:
