TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Springe zu: Deutsch
Anzahl der Einträge: 2.
Deutsch
Beckert, Bernhard ; Hähnle, Reiner ; Manya, Felip (2000)
The 2-SAT Problem of Regular Signed CNF Formulas.
Konferenzveröffentlichung, Bibliographie
Beckert, Bernhard ; Hähnle, Reiner ; Manya, Felip
Hrsg.: Basin, David ; D'Agostino, Marcello ; Gabbay, Dov ; Matthews, Seán ; Viganò, Luca (2000)
The SAT Problem of Signed CNF Formulas.
In: Labelled Deduction
Buchkapitel, Bibliographie