| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Limits of CDCL Learning via Merge Resolution | Vinyals, Marc et al. | 2023 |
| 2 | Complexity Measures on the Symmetric Group and Beyond (Extended Abstract) | Dafni, Neta et al. | 2021 |
| 3 | Equality Alone Does not Simulate Randomness | Chattopadhyay, Arkadev et al. | 2019 |
| 4 | Cumulative Space in Black-White Pebbling and Resolution | Alwen, Joël et al. | 2017 |
| 5 | From Small Space to Small Width in Resolution | Filmus, Yuval et al. | 2014 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 5 |