@misc{indiciae128ae28a6f43, title = {On Problems as Hard as CNFSAT}, author = {Marek Cygan and Holger Dell and Daniel Lokshtanov and Daniel Marx and Jesper Nederlof and Yoshio Okamoto and Ramamohan Paturi and Saket Saurabh and Magnus Wahlstrom}, year = {2014}, doi = {10.1145/2925416 10.1109/ccc.2012.36}, url = {https://arxiv.org/abs/1112.2275}, note = {Source identifier: 1112.2275} }