Workshop on the satisfiability problem

Franco, John and Gallo, Giorgio and Kleine B√ľning, Hans and Speckenmeyer, Ewald and Spera, Cosimo (1996) Workshop on the satisfiability problem.
Technical Report , 165 p.


This report contains abstracts and extended abstracts of talks presented at the Satisfiability Workshop at Certosa di Pontignano, Siena, Italy in April 28 - May 3, 1996

Download: [img] Archive (TGZ)
Download (53MB)
Editorial actions: View Item View Item (Login required)
Deposit Information:
ZAIK Number: zpr96-230
Depositing User: Archive Admin
Date Deposited: 05 Dec 2011 10:45
Last Modified: 05 Dec 2011 10:45