楼主: lzguo99
774 1

[文献] Boolean equi-propagation for concise and efficient SAT encodings of combinatoria [推广有奖]

  • 0关注
  • 0粉丝

教授

45%

还不是VIP/贵宾

-

0%
威望
0 级
论坛币
2 个
通用积分
13.8454
学术水平
2 点
热心指数
2 点
信用等级
2 点
经验
2386 点
帖子
712
精华
0
在线时间
516 小时
注册时间
2010-2-15
最后登录
2025-7-31
楼主
lzguo99 发表于 2016-7-30 12:32:48 |AI写论文
1论坛币
【作者(必填)】Amit Metodi, Michael Codish, Peter J. Stuckey

【文题(必填)】Boolean equi-propagation for concise and efficient SAT encodings of combinatorial problems

【年份(必填)】2013

【全文链接或数据库名称(选填)】http://dl.acm.org/citation.cfm?i ... 47&coll=DL&dl=GUIDE

最佳答案

cmwei333 查看完整内容

请笑纳
分享0
关键词：Propagation EFFICIENT BOOLEAN Concise Coding efficient problems 数据库

相关帖子

回帖推荐

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

请笑纳
sat(n, C6)

沙发
cmwei333 发表于 2016-7-30 12:32:49
请笑纳


附件: 你需要登录才可以下载或查看附件。没有帐号？我要注册
已有 2 人评分论坛币 学术水平 热心指数 信用等级 收起 理由
lzguo99 + 4 + 4 + 4 热心帮助其他会员
Mengguren15 + 50 已核对附件

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

bbs.pinggu.org/forum.php?mod=collection&action=view&ctid=3257
bbs.pinggu.org/forum.php?mod=collection&action=view&ctid=3258
bbs.pinggu.org/forum.php?mod=collection&action=view&ctid=3259

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

本版微信群
jg-xs1
拉您进交流群

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

GMT+8, 2026-1-7 05:16