Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 2.
Buchkapitel
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
Konferenzveröffentlichung
Beckert, Bernhard ; Hähnle, Reiner ; Manya, Felip (2000)
The 2-SAT Problem of Regular Signed CNF Formulas.
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum