QBFLIB
From MaRDI portal
Software:21562
No author found.
Related Items (17)
The QBF Gallery: behind the scenes ⋮ QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving ⋮ Recovering and Utilizing Partial Duality in QBF ⋮ Combining resolution-path dependencies with dependency learning ⋮ Symmetric blocking ⋮ Design and results of the Fifth Answer Set Programming Competition ⋮ Theory and Applications of Satisfiability Testing ⋮ Abstraction-Based Algorithm for 2QBF ⋮ Decision procedures. An algorithmic point of view ⋮ Unnamed Item ⋮ Exploiting Circuit Representations in QBF Solving ⋮ Bounded Universal Expansion for Preprocessing QBF ⋮ Incremental Determinization ⋮ A self-adaptive multi-engine solver for quantified Boolean formulas ⋮ Beyond CNF: A Circuit-Based QBF Solver ⋮ Formal Methods in Computer-Aided Design ⋮ Dealing with Symmetries in Modal Tableaux
This page was built for software: QBFLIB
