dlx

Knuth's Dancing Links algorithm for the exact cover problem