[ home | schedule | assignments | projects | resources | handouts | overview | links ]

15-815 Automated Theorem Proving


The implementation projects are an essential part of this class. They replace homework assignments and the final in the second half of the course.

Weekly Task Assignments

There are three project groups:

Group Red
Group Green
Group Blue

See the table below for weekly task assignments.

Week Main Topic Group Ends
1 Propositional Reasoning Red Green Blue Oct 22
2 Focusing Red Green Blue Oct 29
3 Resolution Red Green Blue Nov 5
4 Indexing Red Green Blue Nov 12
5 Evaluation Red Green Blue Nov 19

General Information

Within each group, there are 5 responsibilites which are re-assigned every week.

  1. Interface
  2. Validation
  3. Search
  4. Redundancy Elimination
  5. Coordination

See the table above on the tasks for each week. The binding of students to responsibilities each week is left up to the groups. They should be done in such a way that everyone has done each of the 5 jobs throughout the 5-week project.

If a student should be unavailable during a week, it is the coordinator's job to distribute the workload.


Language and Environment

Programming Style

[ home | schedule | assignments | projects | resources | handouts | overview | links ]

Frank Pfenning