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
- A self-adaptive multi-engine solver for quantified Boolean formulas
- Beyond CNF: A Circuit-Based QBF Solver
- Abstraction-based algorithm for 2QBF
- Theory and Applications of Satisfiability Testing
- Recovering and utilizing partial duality in QBF
- Symmetric blocking
- Design and results of the Fifth Answer Set Programming Competition
- Incremental determinization
- Formal Methods in Computer-Aided Design
- QELL: QBF reasoning with extended clause learning and levelized SAT solving
- Report of the third QBF solvers evaluation
- Combining resolution-path dependencies with dependency learning
- Bounded Universal Expansion for Preprocessing QBF
- Exploiting circuit representations in QBF solving
- Decision procedures. An algorithmic point of view
This page was built for software: QBFLIB
