Publication:3620436
From MaRDI portal
zbMath1172.68538MaRDI QIDQ3620436
Hratch Mangassarian, Marco H. Benedetti
Publication date: 14 April 2009
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, CAQE and QuAbS: Abstraction Based QBF Solvers, Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers, Solving QBF with counterexample guided refinement, The QBF Gallery: behind the scenes, Understanding cutting planes for QBFs, Lower bound techniques for QBF expansion, A formal methods approach to predicting new features of the eukaryotic vesicle traffic system, Building strategies into QBF proofs, Solution validation and extraction for QBF preprocessing, Long-distance Q-resolution with dependency schemes, A game characterisation of tree-like Q-resolution size, A QBF-based formalization of abstract argumentation semantics, 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, Unnamed Item, 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