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: [img] Archive (TGZ)
Download (53MB)
Editorial actions: View Item View Item (Login required)
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:
  • 03-XX Mathematical logic and foundations > 03Bxx General logic

  • 68-XX Computer science > 68Txx Artificial intelligence

    		•
    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