Anupam Das 0002, Avgerinos Delkos. Proof Complexity of Monotone Branching Programs. In Ulrich Berger 0001, Johanna N. Y. Franklin, Florin Manea, Arno Pauly, editors, Revolutions and Revelations in Computability - 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022, Proceedings. Volume 13359 of Lecture Notes in Computer Science, pages 74-87, Springer, 2022. [doi]
Abstract is missing.