Quantifizierte Boolesche Formeln: Komplexität und Solving (LAB)
| Quantifizierte Boolesche Formeln: Komplexität und Solving LAB |
|
| Verantwortlicher | Benjamin Böhm, Luc Spachmann |
| Leistungspunkte (ECTS credits) | 2 SWS Vorlesung |
| Zeiten | Erster Termin: in der 3. Vorlesungswoche |
| Inhalte | Algorithmische Begleitung der Vorlesung Quantifizierte Boolesche Formeln: Komplexität und Solving. Die in der Vorlesung vorgestellten Algorithmen werden implementiert und experimentell analysiert. Vorwissen aus dem LAB zur Vorlesung Algorithmisches Beweisen wird empfohlen, jedoch nicht vorausgesetzt. |
| Sprache | Deutsch |