semprop
From MaRDI portal
Software:40097
No author found.
Related Items (15)
The QBF Gallery: behind the scenes ⋮ Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API ⋮ The complexity of pure literal elimination ⋮ Conformant planning as a case study of incremental QBF solving ⋮ From QBFs to \textsf{MALL} and back via focussing ⋮ On deciding subsumption problems ⋮ Computational methods for database repair by signed formulae ⋮ Q-Resolution with Generalized Axioms ⋮ HordeQBF: A Modular and Massively Parallel QBF Solver ⋮ Validating QBF Validity in HOL4 ⋮ A solver for QBFs in negation normal form ⋮ Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations ⋮ A Compact Representation for Syntactic Dependencies in QBFs ⋮ The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17) ⋮ Solving QBF with counterexample guided refinement
This page was built for software: semprop
