DBLP Record 'conf/iwpec/FellowsSW04'

BibTeX

@inproceedings{DBLP:conf/iwpec/FellowsSW04,
  author    = {Michael R. Fellows and
               Stefan Szeider and
               Graham Wrightson},
  title     = {On Finding Short Resolution Refutations and Small Unsatisfiable
               Subsets},
  booktitle = {IWPEC},
  year      = {2004},
  pages     = {223-234},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3162{\&}spage=223},
  crossref  = {DBLP:conf/iwpec/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iwpec/2004,
  editor    = {Rodney G. Downey and
               Michael R. Fellows and
               Frank K. H. A. Dehne},
  title     = {Parameterized and Exact Computation, First International
               Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004,
               Proceedings},
  booktitle = {IWPEC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3162},
  year      = {2004},
  isbn      = {3-540-23071-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}