A (Biased) Proof Complexity Survey for SAT Practitioners [chapter]

Jakob Nordström
2014 Lecture Notes in Computer Science  
doi:10.1007/978-3-319-09284-3_1 fatcat:a3lqtt252fgexfedgl7xbhu2by