| Zeit | Dienstag 07.02.2017 |
|---|---|
| Mehrtägige Veranstaltungen |
| 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
Sprecher Dipl.-Inf. (FH) Alexander BauZugehörigkeit Sprecher Institut für Theoretische Informatik, Grundlagen der ProgrammierungZeit 10:00 - 11:00Veranstaltungsort APB 1004 (Ratssaal) TUD Andreas-Pfitzmann-BauBeschreibung 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…
Legende
- Ausgründung/Transfer
- Bauing., Architektur
- Biologie
- Chemie
- Elektro- u. Informationstechnik
- für Schüler:innen
- Gesellschaft, Philos., Erzieh.
- Informatik
- Jura
- Maschinenwesen
- Materialien
- Mathematik
- Medizin
- Physik
- Psychologie
- Sprache, Literatur und Kultur
- Umwelt
- Verkehr
- Weiterbildung
- Willkommen
- Wirtschaft