Sam Buss, Dmitry Itsykson, Alexander Knop, Dmitry Sokolov. Reordering Rule Makes OBDD Proof Systems Stronger. In Rocco A. Servedio, editor, 33rd Computational Complexity Conference, CCC 2018, June 22-24, 2018, San Diego, CA, USA. Volume 102 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]
Abstract is missing.