Campus Event Calendar
Event Entry
New for: D3
What and Who
Reducing Theorem Proving to a Sequence of SAT Problems
Dr. Chad E. Brown
Fachrichtung Informatik - Saarbrücken
Talk
AG 1, AG 3, AG 5, SWS, AG 4, RG1, MMCI
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 10 September 2010
14:15
30 Minutes
E1 3
528
Saarbrücken
Contact
gk-sek
--email hidden
passcode not visible
logged in users only
gk-sek, 09/09/2010 09:22 -- Created document.