Inhalt
Dieses Seminar beschäftigt sich mit der automatischen Überprüfung der Erfüllbarkeit (Satisfiability) von Formeln.
Hierbei werden unterschiedliche Logiken betrachtet, z.B. reine Aussagenlogik, aber auch Erweiterungen wie Quantified Boolean Formulae oder SAT Modulo Theories.
verify.rwth-aachen.deContents
The focus of this seminar is automatic satisfiability checking of formulae.
Here we consider several logics, e.g., pure propositional logic, but also extensions like quantified boolean formulae or SAT modulo theories.
verify.rwth-aachen.de您可在此指出该PONS条目的错误或提出改进建议：
如何在词汇练习助手中接受翻译内容？
请注意，词汇表中的这些词语在本浏览器中是可以使用的。只要这些词语已被收入词汇练习助手，即可随时调用。