搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者： Conor F. Madigan , Lintao Zhang , Sharad Malik , Matthew W. Moskewicz , Ying Zhao
DOI:
关键词: Parallel computing 、 Computer science 、 Boolean satisfiability problem
摘要:
暂无可下载资源，当前可以选择系统获取到有开放资源时 通知我或者直接发起求助 文献求助
international conference on logic programming,2012, 引用: 1
,2012, 引用: 0
School of Computing Science Technical Report Series,2003, 引用: 3
theory and applications of satisfiability testing,2004, 引用: 32
,2007, 引用: 2
theory and applications of satisfiability testing,2004, 引用: 5
,2004, 引用: 18
Lecture Notes in Computer Science,2006, 引用: 170
,2007, 引用: 0
,2003, 引用: 0
