The following pages link to Failed Literal Detection for QBF (Q3007688):
Displaying 6 items.
- Solving QBF with counterexample guided refinement (Q253964) (← links)
- The QBF Gallery: behind the scenes (Q286397) (← links)
- Algorithms for computing minimal equivalent subformulas (Q460638) (← links)
- The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17) (Q2321317) (← links)
- Q-Resolution with Generalized Axioms (Q2818032) (← links)
- Extended Failed-Literal Preprocessing for Quantified Boolean Formulas (Q2843325) (← links)