Solving d-SAT via Backdoors to Small Treewidth

Fedor v. Fomin and Daniel Lokshtanov and Neeldhara Misra and M. S. Ramanujan and Saket Saurabh
January 2015
PDF Cite DOI
Type
Conference Paper