全部版块 我的主页
› 论坛 › 提问 悬赏 求职 新闻 读书 功能一区 › 悬赏大厅 › 求助成功区
SCSat: A Soft Constraint Guided SAT Solver
lzguo99
928 1
2014-01-04
悬赏 1 个论坛币 已解决
【作者(必填)】

【文题(必填)】SCSat: A Soft Constraint Guided SAT Solver

【年份(必填)】2013

【全文链接或数据库名称(选填)】http://link.springer.com/chapter/10.1007/978-3-642-39071-5_32

最佳答案

xjqxxjjqq 查看完整内容

二维码

扫码加我 拉你入群

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

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

全部回复
xjqxxjjqq
2014-1-4 00:00:23
附件: 您需要登录才可以下载或查看附件。没有帐号？我要注册
二维码

扫码加我 拉你入群

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

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

相关推荐
栏目导航
热门文章
推荐文章

说点什么

分享

微信QQ空间QQ微博
扫码加好友，拉您进群
各岗位、行业、专业交流群