- Quantifier Shifting for Quantified Boolean Formulas Revisited

Number of different prefixes generated from of the 2008 non-CNF benchmark set with all strategy combinations. Each strategy has 492 formulas.

Go to figure page

Reference

Quantifier Shifting for Quantified Boolean Formulas Revisited - Scientific Figure on ResearchGate. Available from: https://www.researchgate.net/figure/Number-of-different-prefixes-generated-from-of-the-2008-non-CNF-benchmark-set-with-all_tbl1_381849936 [accessed 24 Apr 2025]

Caption

Number of different prefixes generated from of the 2008 non-CNF benchmark set with all strategy combinations. Each strategy has 492 formulas.

Embed code

<a href="https://www.researchgate.net/figure/Number-of-different-prefixes-generated-from-of-the-2008-non-CNF-benchmark-set-with-all_tbl1_381849936"><img src="https://www.researchgate.net/publication/381849936/figure/tbl1/AS:11431281257621962@1719820314616/Number-of-different-prefixes-generated-from-of-the-2008-non-CNF-benchmark-set-with-all.png" alt="Number of different prefixes generated from of the 2008 non-CNF benchmark set with all strategy combinations. Each strategy has 492 formulas."/></a>