计算机应用研究2010，Vol.27Issue(2)：462-464,3.DOI:10.3969/j.issn.1001-3695.2010.02.015
基于寻找可满足2-SAT子问题的SAT算法
New SAT solver based on finding satisfiable 2-SAT sub problem
摘要
关键词
SAT问题/2-SAT子问题/2-SAT算法Key words
SAT problem/2-SAT sub problem/2-SAT solver分类
信息技术与安全科学引用本文复制引用
傅阳春,周育人..基于寻找可满足2-SAT子问题的SAT算法[J].计算机应用研究,2010,27(2):462-464,3.基金项目
国家自然科学基金资助项目(60673062,60873078) （60673062,60873078）
