1 |
MarkierungsalgorithmusMarkierungsalgorithmus ist ein Algorithmus zur Überprüfung von Horn-Formeln auf Erfüllbarkeit. Im Unterschied zu allgemeinen aussagenlogischen Formeln, für die vermutet wird, dass kein Polynomialzei [..]
|
<< Lammers | Sharedupload-desc-here >> |