Quantified Boolean Formulas: Algorithms and Applications

Ralf Wimmer

Timetable

Date Overview Show Calendar
Event Category
Meetings
Title
Talks: Advanced Topics
Location
Building E1 3, Room 528 
Details
This meeting is devoted to the more advanced topics in QBF and DQBF solving. 
Starttime
17.02.2016
Endtime
N/A
the whole day
Yes
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators