【作者(必填)】C. K. Cuong, M. J. H. Heule

【文题(必填)】Computing Maximum Unavoidable Subgraphs Using SAT Solvers

【年份(必填)】2016

【全文链接或数据库名称(选填)】http://link.springer.com/chapter/10.1007/978-3-319-40970-2_13