On Finding Short Resolution Refutations and Small Unsatisfiable Subsets

Fellows, Michael R.; Szeider, Stefan; Wrightson, Graham

by Michael R. Fellows, Stefan Szeider, Graham Wrightson

Reference:

On Finding Short Resolution Refutations and Small Unsatisfiable SubsetsMichael R. Fellows, Stefan Szeider, Graham Wrightson1st International Workshop on Parameterized and Exact Computation (IWPEC 2004) (Rod Downey, Michael Fellows, Frank Dehne, eds.), volume 3162 of Lecture Notes in Computer Science, pages 223-234, 2004, Springer Verlag.

Bibtex Entry:

@string{springer="Springer Verlag"}
@InProceedings{FellowsSzeiderWrightson04,
  author = 	 {Michael R. Fellows and Stefan Szeider and Graham Wrightson},
  title = 	 {On Finding Short Resolution Refutations and 
                  Small Unsatisfiable Subsets},
  booktitle =    {1st International Workshop on Parameterized and 
                  Exact Computation (IWPEC 2004)},
  pages = 	 {223-234},
  year = 	 {2004},
  editor = 	 {Rod Downey and Michael Fellows and Frank Dehne},
  volume = 	 {3162},
  series = 	 {Lecture Notes in Computer Science},
  publisher =    {Springer},
}