Finding Graph Decompositions via SAT.

Wenting Zhao, Mark H. Liffiton, Peter Jeavons, Dan Roberts

Browse the full ICTAI paper archive.