Boolean equi-propagation for concise and efficient SAT encodings of combinatoria - 经管之家

› 论坛 › 提问悬赏求职新闻读书功能一区 › 悬赏大厅 › 求助成功区

Boolean equi-propagation for concise and efficient SAT encodings of combinatoria

753

1

收藏 2016-07-30

悬赏 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 查看完整内容

请笑纳

二维码

扫码加我拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

全部回复

2016-7-30 12:32:49

请笑纳

附件: 您需要登录才可以下载或查看附件。没有帐号？我要注册

二维码

扫码加我拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

相关推荐

栏目导航

热门文章

推荐文章

扫码加好友，拉您进群

各岗位、行业、专业交流群