Computing Maximum Unavoidable Subgraphs Using SAT Solvers.

C. K. Cuong, M. J. H. Heule

Browse the full SAT paper archive.