TU Dresden
/ TU Dresden / InformatikComputer Science / ICCL
/ TU Dresden / Fakultät InformatikFaculty of Computer Science / International Center For Computational Logic
Account
  • Anmelden
Edit tools
Diskussion
Formular anzeigen
Quelltext anzeigen
Versionsgeschichte
Intern
SucheSearch
English
International Center for Computational Logic
Über ICCL
News & Termine
Profil
Forschungsgruppen
Beschäftigte
Stellenangebote
Lage und Kontakt
Studium
Lehrveranstaltungen
Studienarbeiten
Europäischer Master
Internationaler Master
Forschung
Forschungsfelder
Forschungsprojekte
Publikationen
Kooperation
Angebote
Partner

Polynomial Reduction from PESP to SAT

Aus International Center for Computational Logic
Version vom 6. Dezember 2016, 11:46 Uhr von Sibylle Möhle (Diskussion | Beiträge)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche
Studienarbeiten
  • Themenvorschläge für Studien- und Abschlussarbeiten
  • Abgeschlossene Arbeiten
    • Algebra und Diskrete Strukturen
    • Algebraische und logische Grundlagen der Informatik
    • Automatentheorie
    • Computational Logic
    • Knowledge-aware Artificial Intelligence
    • Logische Programmierung und Argumentation
    • Wissensbasierte Systeme
  • Laufende Studienarbeiten
Toggle side column

Polynomial Reduction from PESP to SAT

Studienarbeit von Peter Großmann
  •   Betreuer Peter Steinke
  •   Wissensverarbeitung
  •   11. Mai 2011 – 11. Mai 2011
Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Thema3481&oldid=22197“
Kategorie:
  • Abschlussarbeit
Links auf diese Seite
Änderungen an verlinkten Seiten
Spezialseiten
Druckversion
Permanenter Link
Seiten­­informationen
Attribute anzeigen
Diese Seite wurde zuletzt am 6. Dezember 2016 um 11:46 Uhr bearbeitet.
Datenschutz
Über International Center for Computational Logic
Impressum
Barrierefreiheit
Powered by MediaWiki
Powered by Semantic MediaWiki