Workshop on Satisfiability: Aftermath

Certosa di Pontignano
Universita Degli Studi Di Siena
Siena, Italy
April 28 - May 3, 1996

Announcement for the workshop announcement including participants.
Schedule for the schedule of talks.
Abstracts for extended abstracts (Last updated: 6 May, 1996).
Open Problems for open problems raised at the workshop (Last updated: 6 May, 1996).
Summary A report on the workshop