Marc Vinyals, Jan Elffers, Jan Johannsen, Jakob Nordström. Simplified and Improved Separations Between Regular and General Resolution by Lifting. In Luca Pulina, Martina Seidl, editors, Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings. Volume 12178 of Lecture Notes in Computer Science, pages 182-200, Springer, 2020. [doi]
Abstract is missing.