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
Node1
Uni Homepage
Studium
Zugang zu Moodle
Anmeldungs- und Belegungsfristen
Verifikation von Studienbescheinigungen
Sie sind hier:
Startseite
Solver Construction - Einzelansicht
Funktionen:
belegen/abmelden
Veranstaltungsart
Projekt
Veranstaltungsnummer
555111
SWS
Semester
SoSe 2016
Einrichtung
Institut für Informatik und Computational Science
Sprache
deutsch
Weitere Links
Kommentar
Belegungsfrist
01.04.2016 - 20.05.2016
Belegung über PULS
Gruppe 1:
Vormerken:
jetzt belegen / abmelden
Tag
Zeit
Rhythmus
Dauer
Raum
Lehrperson
Ausfall-/Ausweichtermine
Max. Teilnehmer/-innen
Projekt
Do
14:00 bis 16:00
wöchentlich
14.04.2016 bis 21.07.2016
3.04.1.02
Prof. Dr. Schaub
,
Dr. Gebser
16
Kommentar
This project deals with the construction of automated problem solvers using Boolean constraint technology. Usually, a project group implements an entire solver or elaborates upon dedicated techniques within an existing solver.
Literatur
See website.
Bemerkung
Die Zusammenkünfte finden nach Absprache statt.
Voraussetzungen
Prerequisites in ASP or SAT.
Leistungsnachweis
Implementation and documentation
Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SoSe 2016 , Aktuelles Semester: SoSe 2024
© Copyright HIS
Hochschul-Informations-System eG