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.
Abstract
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
Actions:
Download: |
![]() Download (53MB) |
---|---|
Editorial actions: | ![]() |
Content information:
Item Type: | Paper (Technical Report) |
---|---|
Citations: | No citation data. |
Uncontrolled Keywords: | algorithms combinatorial optimization complexity logic data structures NP-completeness programming propositional logic resolution satisfiability problem satisfiability solving |
Subjects: |
|
Divisions: | Institute of Computer Science > Computer Science Department - Prof. Dr. Speckenmeyer |
Related URLs: |
Deposit Information:
ZAIK Number: | zpr96-230 |
---|---|
Depositing User: | Archive Admin |
Date Deposited: | 05 Dec 2011 10:45 |
Last Modified: | 05 Dec 2011 10:45 |
URI: | http://e-archive.informatik.uni-koeln.de/id/eprint/230 |