Simplified and Improved Separations Between Regular and General Resolution by Lifting

von Vinyals, Marc
Veröffentlicht in SAT (23. : 2020 : Online) Theory and applications of satisfiability testing - SAT 2020 (2020)