您希望如何使用 PONS.com?

Already a PONS subscriber?

广告版的PONS

像往常一样访问 PONS.com及其广告追踪和广告。

有关追踪的详细信息,请参阅数据保护信息和隐私设置

PONS Pur

无第三方广告

无广告跟踪

立即订阅

如果您已经拥有PONS.com免费账户,您可以在此订阅无广告版的PONS

在《PONS词典》中的词汇

Erfüllbarkeitsproblem der Aussagenlogik nt
无例句可用

无例句可用

请尝试其他词条。

互联网提供的例句(未经PONS编辑处理)

[...]
Im Sinne von Leitfrage 3 befassen wir uns in diesem Projekt mit fundamentalen kombinatorischen Problemen wie Graphenfärbung, Finden einer größten stabilen Menge oder dem Erfüllbarkeitsproblem.
[...]
asz.informatik.hu-berlin.de
[...]
In the sense of Theme 3, this project is concerned with fundamental combinatorial problems like graph colouring, finding a largest stable set, or the satisfiability problem.
[...]