词条„satisfiability“在英语 » 德语中的译文

(跳至 德语 » 英语)

Boolean satisfiability problem 名词

用户条目

Boolean satisfiability problem 计算机

Erfüllbarkeitsproblem der Aussagenlogik nt

单语范例（未经PONS编辑处理）

英语

In universal algebra and equational theory, the methods of term rewriting, congruence closure and unification are used to attempt to decide satisfiability.

en.wikipedia.org

Similar reductions to 2-satisfiability have been applied to other geometric placement problems.

en.wikipedia.org