Thema3481: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Sibylle Möhle (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Sibylle Möhle (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 10: | Zeile 10: | ||
|Beginn=2011 | |Beginn=2011 | ||
|Abgabe=2011 | |Abgabe=2011 | ||
|Beschreibung EN= | |||
}} | }} | ||
Version vom 6. Dezember 2016, 11:46 Uhr
Polynomial Reduction from PESP to SAT
Studienarbeit von Peter Großmann
- Betreuer Peter Steinke
- Wissensverarbeitung
- 17. April 2011 – 17. April 2011
