sQueezeBF
From MaRDI portal
Software:19022
swMATH6959MaRDI QIDQ19022FDOQ19022
Author name not available (Why is that?)
Cited In (15)
- 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)
- Abstraction-based algorithm for 2QBF
- Failed literal detection for QBF
- Formal system verification. State-of the-art and future trends
- A unified proof system for QBF preprocessing
- Dominant controllability check using QBF-solver and netlist optimizer
- 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
- Blocked clause elimination for QBF
This page was built for software: sQueezeBF
