22c:295 - Seminar on Artificial Intelligence
Propositional Satisfiability (and Beyond)
Spring 2003
Weekly Assignments
- Tue, Jan 21.
Read [Tin01].
This is a brief overview of Propositional logic,
and contains some of the basic notions and terminology
that we will use.
- Thu, Jan 23.
Read [Seb02] up to page 51.
These excellent slides contain a brief overview of the SAT problem
and the basic SAT techiques.
Use it as a reference throughout the semester.
- Tue, Jan 28.
Read [Seb02] up to page 51 and
Chapters 3-7 of [Vor01].
- Thu, Jan 30.
Read [Tin02] and pages 61-82 of [Seb02].
- Tue, Feb 4.
Presentation by Jack.
Read [Sil96].
- Thu, Feb 6.
Discussion of [Sil96].
Fill in paper evaluation form
("Criteria for evaluating a paper", in the the Resources section)
for [Sil96].
- Tue, Feb 11.
Presentation by John.
Read [Bry86] and fill in paper evaluation form.
- Thu, Feb 13.
Presentation by James.
Read [Zha94] and fill in paper evaluation form.
- Tue, Feb 18.
Presentation by Jed.
Read [Mos01] and fill in paper evaluation form.
- Thu, Feb 20.
Presentation by Steve.
Read [Zha01] and fill in paper evaluation form.
- Tue, Feb 25.
No class.
- Thu, Feb 27.
Presentation by Bill (canceled).
Read [Gol02] and fill in paper evaluation form.
- Tue, Mar 4.
Read pages 101-169 of [Seb02].
- Thu, Mar 6.
Read pages 170-182 and 209-218 of [Seb02].
- Tue, Mar 11.
Presentation by Jack.
Read [Aud02] and fill in paper evaluation form.
- Thu, Mar 13.
Presentation by James.
Read [Bar02] and fill in paper evaluation form.
- Tue, Mar 18.
No class (spring break).
- Thu, Mar 20.
No class (spring break).
- Tue, Mar 25.
Read [Aud02] and read [Bar02].
Write a two+ page report contrasting and comparing
the work presented in the two papers.
Point out differences and similarities in the approach,
in the scope of the presented systems, and in the results.
For each approach,
list at least two advantages of one approach over the other.
Be ready to discuss your findings in class.
- Thu, Mar 27.
Presentation by Jed.
Read [Wol99] and fill in paper evaluation form.
- Tue, Apr 1.
Comparative discussion of [Aud02] and [Bar02].
- Thu, Apr 3.
No class.
- Thu, Apr 8.
Presentation by John.
Read [Str02] and fill in paper evaluation form.
- Thu, Apr 10.
Read [Pnu99] and fill in paper evaluation form.
- Thu, Apr 15.
Presentation by Steve.
Read [deMo02] and fill in paper evaluation form.
Last Updated: Apr 4, 2003