Proof Complexity of Monotone Branching Programs - Das, Anupam; Delkos, Avgerinos (Revolutions and Revelations in Computability, 2022)
Keywords: Branching Programs; Monotone Complexity; Proof Complexity