Cited in
(51)- Q-resolution with generalized axioms
- Boolean functional synthesis: hardness and practical algorithms
- Skolem functions for DQBF
- scientific article; zbMATH DE number 7453115 (Why is no real title available?)
- The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
- Planning with Incomplete Information in Quantified Answer Set Programming
- Non-prenex QBF solving using abstraction
- Dependency learning for QBF
- Building strategies into QBF proofs
- Clausal abstraction for DQBF
- Proof complexity of fragments of long-distance Q-resolution
- Solving dependency quantified Boolean formulas using quantifier localization
- QuBE++
- sQueezeBF
- Quaffle
- Bloqqer
- Nenofex
- DepQBF
- QBFLIB
- QUBOS
- CirQit2
- QUBE
- QMiraXT
- MUSer2
- BEACON
- Spybug
- HordeQBF
- MPIDepQBF
- CoQuiAAS
- QBFEVAL
- Acacia+
- AIGSolve
- Quantor
- HQSpre
- semprop
- sKizzo
- RAReQS
- Multi-linear strategy extraction for QBF expansion proofs via local soundness
- Incremental determinization
- Proof complexity of symbolic QBF reasoning
- \({\textsf{QRAT}}^{+}\): generalizing QRAT by a more powerful QBF redundancy property
- Combining resolution-path dependencies with dependency learning
- Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
- Encodings of bounded synthesis
- QBFFam
- QRATPre+
- Lower bound techniques for QBF proof systems
- dCAQE
- QESTO
- SaDiCaL
- Aeon
This page was built for software: CAQE
