1) unsatisfiable subformula
不可满足子式
1.
An unsatisfiable subformula can provide a succinct explanation of infeasibility,and help application automatic tools to rapidly locate the errors,and to determine the underlying reasons for the failure.
不可满足子式能够为布尔公式不可满足的原因提供精确的解释,帮助应用领域的自动化工具迅速定位错误,诊断问题失败的本质缘由。
2.
A small unsatisfiable subformula can provide a succinct explanation of infeasibility,and help automatic tools to rapidly locate the errors,and determine the underlying reasons for the failure.
解释布尔公式不可满足的原因在众多领域都具有非常重要的理论与应用价值,而不可满足子式能够为公式不可满足的原因提供精确的解释,帮助应用领域的自动化工具迅速定位错误,诊断问题失败的本质缘由。
2) minimal unsatisfiable sub-formulas
极小布尔不可满足子式
3) minimal unsatisfiable subformula
极小不可满足子公式
1.
A method to explore the minimal unsatisfiable subformula
一种寻找极小不可满足子公式的方法
4) minimum unsatisfiable subformula
最小不可满足子式
1.
Based on the relationship,a compounded greedy genetic algorithm and an ant colony algorithm are proposed to derive a minimum unsatisfiable subformula.
针对最小不可满足子式的求解问题,提出并证明了布尔公式最小不可满足性与极大可满足性之间的关系。
5) unsatisfiable formula
不可满足公式
1.
Restricted on the proof of unsatisfiability of unsatisfiable formulas,a modified DPLL—RSMLS algo- rithm is presented.
限制在不可满足公式的不可满足性的证明,给出了一个改进的DPLL算法—RSMLS。
6) unsatisfiable formulas
不可满足公式
1.
MU(1) is a class of minimally unsatisfiable formulas with the deficiency of the number of cl.
MU(1)是子句数与变元数的差等于 1 的极小不可满足公式类。
2.
MU( 1) is a class of minimal unsatisfiable formulas with the deficiency of the number of clauses and.
MU(1)是子句数与变元数的差等于1的极小不可满足公式类。
补充资料：可满足式
设a为任一命题公式，若a不是矛盾式，则称a是可满足式。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条