M. S. Ramanujan

Solving d-SAT via backdoors to small treewidth