楼主: lzguo99
566 1

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

  • 0关注
  • 0粉丝

教授

45%

还不是VIP/贵宾

-

0%
威望
0 级
论坛币
2 个
通用积分
13.9700
学术水平
2 点
热心指数
2 点
信用等级
2 点
经验
2386 点
帖子
712
精华
0
在线时间
516 小时
注册时间
2010-2-15
最后登录
2024-10-12
楼主
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

最佳答案

Mengguren15 查看完整内容

请查收~~
分享0
关键词：computing Maximum Solver Graphs Comput 数据库

回帖推荐

Mengguren15 发表于2楼  查看完整内容

请查收~~
已有 1 人评分论坛币 收起 理由
Mengguren15 + 1 补偿

总评分: 论坛币 + 1   查看全部评分

sat(n, C6)

使用道具

沙发
Mengguren15 在职认证  发表于 2017-1-2 12:08:32 |只看作者 |坛友微信交流群
请查收~~
附件: 你需要登录才可以下载或查看附件。没有帐号？我要注册
已有 2 人评分论坛币 学术水平 热心指数 信用等级 收起 理由
giresse + 30 精彩帖子
lzguo99 + 5 + 5 + 5 热心帮助其他会员

总评分: 论坛币 + 30  学术水平 + 5  热心指数 + 5  信用等级 + 5   查看全部评分

使用道具

返回列表
高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 我要注册

本版微信群
加JingGuanBbs
拉您进交流群
  • 手机版  |
  • 意见反馈  |
  • 帮助  |
  • 新手入门  |
  • 用户手册  |
  • 友情链接  |

    • 如有投资本站、合作意向或投放广告，请联系：13661292478（刘老师）

    联系客服

    邮箱：service@pinggu.org 投诉或不良信息处理：（010-68466864）

    010-68466864

    京ICP备16021002-2号 京B2-20170662号 京公网安备 11010802022788号 论坛法律顾问：王进律师 知识产权保护声明   免责及隐私声明

    GMT+8, 2024-11-6 00:24