minimal unsatisfiable formulas中文,minimal unsatisfiable formulas的意思,minimal unsatisfiable formulas翻译及用法

2026-03-21 20:22 浏览次数 19

minimal unsatisfiable formulas

极小不可满足公式

minimal unsatisfiable formulas 例句

英汉例句

  • Mu (1) is a class of minimal unsatisfiable formulas with the deficiency of the number of clauses and variables to be one.

    是子句数与变元数的差等于1的极小不可满足公式类。

相关热词