TU Darmstadt / ULB / TUbiblio

The SAT Problem of Signed CNF Formulas

Beckert, Bernhard and Hähnle, Reiner and Manya, Felip
Basin, David and D'Agostino, Marcello and Gabbay, Dov and Matthews, Seán and Viganò, Luca (eds.) (2000):
The SAT Problem of Signed CNF Formulas.
In: Labelled Deduction, Kluwer, Dordrecht, pp. 61--82, [Book Section]

Item Type: Book Section
Erschienen: 2000
Editors: Basin, David and D'Agostino, Marcello and Gabbay, Dov and Matthews, Seán and Viganò, Luca
Creators: Beckert, Bernhard and Hähnle, Reiner and Manya, Felip
Title: The SAT Problem of Signed CNF Formulas
Language: German
Title of Book: Labelled Deduction
Series Name: Applied Logic Series
Volume: 17
Publisher: Kluwer, Dordrecht
ISBN: 0-7923-6237-3
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: BHM99b
Export:

Optionen (nur für Redakteure)

View Item View Item