The University of Iowa
22c:295 - Seminar on Artificial Intelligence
Propositional Satisfiability (and Beyond)
Spring 2003
TuTh 3:55-5:10pm, 217 MLH
Announcements
- 01/22/03.
The Assignments sections now contains
the readings for yesterday and tomorrow.
(From now, updates in that section will not be announced anymore.
Just check it regularly.)
- 01/21/03.
Welcome to the 22c:295 web site.
Please check this space on a regular basis
for class-related announcements.
-
Old announcements.
Last Updated: Jan 22, 2003