Publication:3620436
From MaRDI portal
zbMath1172.68538MaRDI QIDQ3620436
Marco H. Benedetti, Hratch Mangassarian
Publication date: 14 April 2009
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers, Solving QBF with counterexample guided refinement, The QBF Gallery: behind the scenes, A QBF-based formalization of abstract argumentation semantics, A Game Characterisation of Tree-like Q-resolution Size, Validating QBF Validity in HOL4, Proving Valid Quantified Boolean Formulas in HOL Light, Feasible Interpolation for QBF Resolution Calculi, Bounded Synthesis for Petri Games, Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API, A Unified Framework for Certificate and Compilation for QBF, A Compact Representation for Syntactic Dependencies in QBFs
Uses Software