Pseudo-Boolean Constraints in Konjunktive Normalform - Kodierungen und Anwendungen
- Date
- Apr 15, 2014
- Time
- 9:35 AM - 10:35 AM
- Speaker
- Peter Steinke
- Affiliation
- Institut für Künstliche Intelligenz
- Language
- de
- Main Topic
- Informatik
- Other Topics
- Informatik
- Description
- Viele verschiedene Kodierungen für pseudo-Boolesche (PB) Constraints in Konjunktive Normalform wurden in der Vergangenheit veröffentlicht und der Vortrag gibt einen umfassenden Überblick über die bekannten Kodierungen und deren Anwendungen im Lösen von MaxSAT- und PB-Optimierungs-Problemen.
Last modified: Apr 15, 2014, 10:02:07 AM
Location
TUD Andreas-Pfitzmann-Bau (Computer Science) (INF 2026)Nöthnitzer Straße4601069Dresden
- Homepage
- https://navigator.tu-dresden.de/etplan/apb/00
Organizer
TUD InformatikNöthnitzer Straße4601069Dresden
- Phone
- +49 (0) 351 463-38465
- Fax
- +49 (0) 351 463-38221
- Homepage
- http://www.inf.tu-dresden.de
Scan this code with your smartphone and get directly this event in your calendar. Increase the image size by clicking on the QR-Code if you have problems to scan it.
Legend
- Biology
- Chemistry
- Civil Eng., Architecture
- Computer Science
- Economics
- Electrical and Computer Eng.
- Environmental Sciences
- for Pupils
- Law
- Linguistics, Literature and Culture
- Materials
- Mathematics
- Mechanical Engineering
- Medicine
- Physics
- Psychology
- Society, Philosophy, Education
- Spin-off/Transfer
- Traffic
- Training
- Welcome