swMATH28634MaRDI QIDQ40348FDOQ40348
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007%2F978-3-662-54577-5_21
Cited In (28)
- The (D)QBF preprocessor HQSpre -- underlying theory and its implementation
- dCAQE
- Certified DQBF solving by definition extraction
- DQBDD: an efficient BDD-based DQBF solver
- The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
- Planning with Incomplete Information in Quantified Answer Set Programming
- RAReQS
- Building strategies into QBF proofs
- QESTO
- Clausal abstraction for DQBF
- Solving dependency quantified Boolean formulas using quantifier localization
- sQueezeBF
- Positional games and QBF: the corrective encoding
- Bloqqer
- DepQBF
- CirQit2
- Multi-linear strategy extraction for QBF expansion proofs via local soundness
- HordeQBF
- MPIDepQBF
- QBFEVAL
- AIGSolve
- CAQE
- \({\textsf{QRAT}}^{+}\): generalizing QRAT by a more powerful QBF redundancy property
- sKizzo
- Combining resolution-path dependencies with dependency learning
- Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
- QRATPre+
- Q3B
This page was built for software: HQSpre
