| Time | Tuesday Feb 7, 2017 |
|---|---|
| Multi-Day events |
| 9:00 | |
|---|---|
| 10:00 | |
| 11:00 | |
| 12:00 | |
| 13:00 | |
| 14:00 | |
| 15:00 | |
| 16:00 | |
| 17:00 | |
| 18:00 |
SAT Compilation for Constraints over Structured Finite Domains
Speaker Dipl.-Inf. (FH) Alexander BauAffiliation Speaker Institut für Theoretische Informatik, Grundlagen der ProgrammierungTime 10:00 AM - 11:00 AMLocation APB 1004 (Ratssaal) TUD Andreas-Pfitzmann-BauDescription A constraint is a formula in first-order logic expressing a relation between values over various domains. In order to solve such a constraint, constructing a propositional…
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