Wahlström, Magnus Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Cygan, M., Dell, H., Lokshtanov, D., Marx, D., Nederlof, J., Okamoto, Y., et al. (2012). On Problems as Hard as CNF-SAT. In 2012 IEEE 27th Conference on Computational Complexity (pp. 74-84). Piscataway, NJ: IEEE.