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