The SAT Problem of Signed CNF Formulas

Book Chapter

Author(s):Bernhard Beckert, Reiner Hähnle, and Felip Manya
In:Labelled Deduction
Publisher:Kluwer, Dordrecht
Year:2000
Pages:59-80

BibTeX

@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}
}