Nenofex
From MaRDI portal
Cited in
(35)- Dependency learning for QBF
- NiVER
- sQueezeBF
- Quaffle
- Bloqqer
- QUBOS
- QBFLIB
- HeerHugo
- DepQBF
- CirQit2
- QUBE
- Expansion-based QBF solving versus Q-resolution
- QMiraXT
- Conformant planning as a case study of incremental QBF solving
- Solving QBF with counterexample guided refinement
- Incremental determinization
- Non-prenex QBF solving using abstraction
- Solving QBF with counterexample guided refinement
- On QBF Proofs and Preprocessing
- Failed literal detection for QBF
- A Unified Framework for Certificate and Compilation for QBF
- Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits
- CAQE
- AIGSolve
- Quantor
- semprop
- sQueezeBF: an effective preprocessor for QBFs based on equivalence reasoning
- A non-prenex, non-clausal QBF solver with game-state learning
- The seventh QBF solvers evaluation (QBFEVAL'10)
- Exploiting circuit representations in QBF solving
- Efficiently representing existential dependency sets for expansion-based QBF solvers
- Blocked clause elimination for QBF
- sKizzo
- RAReQS
- QESTO
This page was built for software: Nenofex
