[文献] Computing Maximum Unavoidable Subgraphs Using SAT Solvers [推广有奖]

0关注
0粉丝

教授

45%

还不是VIP/贵宾

威望: 0 级
论坛币: 2 个
通用积分: 13.8454
学术水平: 2 点
热心指数: 2 点
信用等级: 2 点
经验: 2386 点
帖子: 712
精华: 0
在线时间: 516 小时
注册时间: 2010-2-15
最后登录: 2025-7-31

楼主

lzguo99 发表于 2017-1-2 12:08:31 |AI写论文

2论坛币

【作者(必填)】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