swMATH9581MaRDI QIDQ21562FDOQ21562
Author name not available (Why is that?)
Official website: http://www.qbflib.org/
Cited In (37)
- Dealing with Symmetries in Modal Tableaux
- The QBF Gallery: behind the scenes
- RAReQS
- 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
- QESTO
- Recovering and utilizing partial duality in QBF
- QuBE++
- SatEx
- sQueezeBF
- FODD-Planner
- Bloqqer
- Nenofex
- DepQBF
- CirQit2
- QUBE
- QuteSAT
- HTab
- Symmetric blocking
- Design and results of the Fifth Answer Set Programming Competition
- Incremental determinization
- C32SAT
- QAGen
- HGen
- Quantor
- Nginx
- pyrunlim
- Formal Methods in Computer-Aided Design
- QELL: QBF reasoning with extended clause learning and levelized SAT solving
- Report of the third QBF solvers evaluation
- sKizzo
- 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
