Computer Laboratory

Course pages 2013–14

Automated Reasoning

Lecture notes

Literature survey:

here is more information.

Paper review and presentation:

here is more information.

Exercises: