unsatisfiable

unsatisfiable

美  英

  • 网络不可满足的

例句

Algorithms for Extracting Minimal Unsatisfiable Boolean Sub-formula

极小布尔不可满足子式的提取算法

Equivalence Structure of a Subclass of Minimal Unsatisfiable Formulas

一个极小不可满足公式子类的等价结构

Complete Proof Systems for Unsatisfiable Formulas

不可满足公式的完备证明系统

热门查询