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).

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).