Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Relating Existing Powerful Proof Systems for QBF | 0 | 0.34 | 2022 |
| How QBF Expansion Makes Strategy Extraction Hard. | 0 | 0.34 | 2020 |
| How QBF Expansion Makes Strategy Extraction Hard. | 0 | 0.34 | 2020 |
| A Game Characterisation of Tree-like Q-resolution Size. | 3 | 0.40 | 2014 |