Computing Maximum Unavoidable Subgraphs Using SAT Solvers. - C. K. Cuong; M. J. H. Heule (SAT, 2016)