subformula
英
美
网络 子公式
双语例句
- A method to explore the minimal unsatisfiable subformula
一种寻找极小不可满足子公式的方法 - 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.
不可满足子式能够为布尔公式不可满足的原因提供精确的解释，帮助应用领域的自动化工具迅速定位错误，诊断问题失败的本质缘由。