Top
Zur Seitennavigation oder mit Tastenkombination für den
accesskey
-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den
accesskey
und Taste 2
PULS
Foto: Matthias Friel
Datenschutz
Kontakt
Impressum
Universität Potsdam
Veranstaltungen
Modulbeschreibung
EN
SoSe 2024
Anmelden
Node2
Sie sind hier:
Startseite
Extensive Solver Construction - Einzelansicht
Funktionen:
belegen/abmelden
Veranstaltungsart
Projekt
Veranstaltungsnummer
555111
SWS
Semester
WiSe 2016/17
Einrichtung
Institut für Informatik und Computational Science
Sprache
deutsch
Belegungsfrist
04.10.2016 - 20.11.2016
Belegung über PULS
Gruppe 1:
Vormerken:
jetzt belegen / abmelden
Tag
Zeit
Rhythmus
Dauer
Raum
Lehrperson
Ausfall-/Ausweichtermine
Max. Teilnehmer/-innen
Projekt
-
bis
wöchentlich
am
Prof. Dr. Schaub
,
Dr. Gebser
Bemerkung:
Zeit und Raum nach Absprache, Auftakt 25.10.16 um 18 Uhr im HS 03.04.H01
Kommentar
In this project, student teams build their own problem solvers (or components thereof)
based on modern constraint technology. Foremost this concerns ASP solving technology
but equally well that of SAT, PB and related areas.
Literatur
See website.
Bemerkung
Die Zusammenkünfte finden nach Absprache statt.
Voraussetzungen
Knowledge in ASP and/or SAT.
Leistungsnachweis
Implementation und Dokumentation
Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2016/17 , Aktuelles Semester: SoSe 2024
© Copyright HIS
Hochschul-Informations-System eG