On Problems as Hard as CNF-SAT

Marek Cygan, Holger Dell, Daniel Lokshtanov, Dániel Marx, Jesper Nederlof, Yoshio Okamoto, Ramamohan Paturi, Saket Saurabh, Magnus Wahlström. On Problems as Hard as CNF-SAT. ACM Transactions on Algorithms, 12(3):41, 2016. [doi]

Abstract

Abstract is missing.