Thema3481: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Serge Stratan (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Sibylle Möhle (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 5: | Zeile 5: | ||
|Nachname=Großmann | |Nachname=Großmann | ||
|Abschlussarbeitstyp=Studienarbeit | |Abschlussarbeitstyp=Studienarbeit | ||
|Betreuer= | |Betreuer=Peter Steinke | ||
|Forschungsgruppe=Wissensverarbeitung | |Forschungsgruppe=Wissensverarbeitung | ||
|Abschlussarbeitsstatus=Abgeschlossen | |Abschlussarbeitsstatus=Abgeschlossen | ||
Version vom 6. Dezember 2016, 11:43 Uhr
Polynomial Reduction from PESP to SAT
Studienarbeit von Peter Großmann
- Betreuer Peter Steinke
- Wissensverarbeitung
- 16. April 2011 – 16. April 2011
