Publication Overview

Marek Cygan and Holger Dell and Daniel Lokshtanov and Dániel Marx and Jesper Nederlof and Yoshio Okamoto and Ramamohan Paturi and Saket Saurabh and Magnus Wahlström

On Problems as Hard as CNF-SAT

Published in: Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2017, Montreal, QC, Canada, June 19-23, 2017
Year: 2016
Volume: 12
Pages: 41:1-41:24