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 или внести поправку:
Как внести перевод слова в словарный тренажер?
Пожалуйста, учтите, что лексика, находящаяся в списке лексики, доступна только в данном браузере. Лексика, перенесенная в словарный тренажер, становится общедоступной.