A Dichotomy Theorem for the Inverse Satisfiability Problem
- Date
- Oct 24, 2017
- Time
- 11:00 AM - 12:00 PM
- Speaker
- Biman Roy
- Affiliation
- Linköping University
- Language
- en
- Main Topic
- Mathematik
- Other Topics
- Mathematik
- Host
- Dr. E. Lehtonen
- Links
Last modified: Oct 26, 2017, 5:42:56 PM
Location
TUD Willers-Bau (WIL C 115)Zellescher Weg12-1401069Dresden
- Homepage
- https://navigator.tu-dresden.de/etplan/wil/00
Organizer
TUD MathematikWillersbau, Zellescher Weg12-1401069Dresden
- Phone
- 49-351-463 33376
- Homepage
- http://tu-dresden.de/mathematik
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
