辽宁高职学报Issue(7)：73-74,83,3.
MiniSAT求解器在判定可满足性问题中的应用
摘要
Abstract
B oolean logic has becom e one of the im portant theoretical bases in com puter science. It is an im portant tool for studying hum an thinking in law . Satisfactory problem is typical N P problem . The developm ent of SA T solver m akes the judgm ent of satisfactory problem autom ation. Taking A N D circuit as an exam ple, this paper describes how to transform circuit problem into satisfactory SA T problem , and how to use M iniSA T solver to solve, including input form at, option and output form at.关键词
MiniSAT 求解器/可满足性/合取范式Key words
MiniSAT solver/satisfactory/conjunctive normal form分类
信息技术与安全科学引用本文复制引用
曾维鹏,蔡莉莎,吴恒玉,林尔敏..MiniSAT求解器在判定可满足性问题中的应用[J].辽宁高职学报,2013,(7):73-74,83,3.基金项目
海南软件职业技术学院2011年度基金资助项目（H r201105）；海南软件职业技术学院学院2013年度基金资助项目（H r201301）；海南软件职业技术学院2011年度基金资助项目 （）
