TY  - RPRT
TI  - On Problems as Hard as CNFSAT
AU  - Marek Cygan
AU  - Holger Dell
AU  - Daniel Lokshtanov
AU  - Daniel Marx
AU  - Jesper Nederlof
AU  - Yoshio Okamoto
AU  - Ramamohan Paturi
AU  - Saket Saurabh
AU  - Magnus Wahlstrom
PY  - 2014
DO  - 10.1145/2925416 10.1109/ccc.2012.36
UR  - https://arxiv.org/abs/1112.2275
ID  - 1112.2275
ER  -