Timetable
- Event Category
- Meetings
- Title
- Talks: Foundations of SAT, QBF, and DQBF
- Location
- Building E1 3, Room 528
- Details
- During this meeting, the foundational talks on SAT, QBF, and DQBF will be given.
- Starttime
- 13.01.2016 10:00
- Endtime
- 13.01.2016 13:00
- the whole day
- No