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

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI