Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Are Short Proofs Narrow? QBF Resolution Is Not So Simple. | 4 | 0.41 | 2018 |
| Understanding Cutting Planes for QBFs. | 0 | 0.34 | 2017 |
| Relating two width measures for resolution proofs. | 0 | 0.34 | 2016 |
| Feasible Interpolation for QBF Resolution Calculi. | 9 | 0.48 | 2015 |