Funder
Russian Science Foundation
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Theoretical Computer Science
Reference23 articles.
1. Alekhnovich, M., Razborov, A.A.: Satisfiability, branch-width and Tseitin tautologies. Comput. Complex 20(4), 649–678 (2011)
2. Atserias, A., Kolaitis, P.G., Vardi, M.Y.: Constraint propagation as a proof system. In: CP 2004, volume 3258 of LNCS, pp 77–91. Springer (2004)
3. Buss, S., Itsykson, D., Knop, A., Sokolov, D.: Reordering rule makes OBDD proof systems stronger. In: CCC-2018, pp 16:1–16:24 (2018)
4. Chekuri, C., Chuzhoy, J.: Polynomial bounds for the grid-minor theorem. J. ACM 63(5), 40:1–40:65 (2016)
5. Chuzhoy, J.: Excluded grid theorem: improved and simplified. In: Proceedings of STOC-2015, pp 645–654 (2015)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献