swMATH6959MaRDI QIDQ19022FDOQ19022
Author name not available (Why is that?)
Official website: http://rd.springer.com/chapter/10.1007%2F978-3-642-14186-7_9
Cited In (42)
- Solving QBF with counterexample guided refinement
- Solving QBF with counterexample guided refinement
- The QBF Gallery: behind the scenes
- Conformant planning as a case study of incremental QBF solving
- The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
- RAReQS
- Abstraction-based algorithm for 2QBF
- Failed literal detection for QBF
- QESTO
- Formal system verification. State-of the-art and future trends
- A unified proof system for QBF preprocessing
- QuBE++
- NiVER
- Quaffle
- Bloqqer
- Nenofex
- DepQBF
- HeerHugo
- QBFLIB
- QUBOS
- QUBE
- Coprocessor
- HordeQBF
- MPIDepQBF
- QBFEVAL
- AIGSolve
- CAQE
- Quantor
- HQSpre
- semprop
- Dominant controllability check using QBF-solver and netlist optimizer
- ASDeX
- POWER-TRUCTOR
- Mjollnir
- sKizzo
- Preprocessing for DQBF
- Solution validation and extraction for QBF preprocessing
- On QBF Proofs and Preprocessing
- Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
- PReLearn
- QRATPre+
- Blocked clause elimination for QBF
This page was built for software: sQueezeBF
