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 WrightsonTheoretical Computer Science, volume 351, number 3, pages 351-359, 2006.

Bibtex Entry:

@string{tcs="Theoretical Computer Science"}
@Article{FellowsSzeiderWrightson06,
 author = 	 {Michael R. Fellows and Stefan Szeider and Graham Wrightson},
  title = 	 {On Finding Short Resolution Refutations and 
                  Small Unsatisfiable Subsets}, 
  journal = 	 TCS,
  year = 	 {2006},
  volume = 	 {351},
  number = 	 {3},
  pages = 	 {351-359},
 url   = {https://www.ac.tuwien.ac.at/files/pub/FellowsSzeiderWrightson06.pdf},
}