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

Mu (1) is a class of minimal unsatisfiable formulas with the deficiency of the number of clauses and.

youdao

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

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

youdao

首先，标记定义了可组合在一起形成一个查询的子句数量的上限。

First, the tag defines the upper limit on the number of clauses that may be combined to form a query.

youdao