@InCollection{ BeckertHaehnleManyaLD99,
author = {Bernhard Beckert and Reiner H\"ahnle and Felip
Manya},
title = {The SAT Problem of Signed CNF Formulas},
booktitle = {Labelled Deduction},
editor = {M. D'Agostino and D. Basin and D. Gabbay and
S. Matthews and L. Vigano},
pages = {59--80},
publisher = {Kluwer, Dordrecht},
year = {2000}
}
The SAT Problem of Signed CNF Formulas
| Author(s): | Bernhard Beckert, Reiner Hähnle, and Felip Manya |
|---|---|
| In: | Labelled Deduction |
| Publisher: | Kluwer, Dordrecht |
| Year: | 2000 |
| Pages: | 59-80 |