DBLP Record 'journals/dam/PorschenSZ09'

BibTeX

@article{DBLP:journals/dam/PorschenSZ09,
  author    = {Stefan Porschen and
               Ewald Speckenmeyer and
               Xishun Zhao},
  title     = {Linear CNF formulas and satisfiability},
  journal   = {Discrete Applied Mathematics},
  volume    = {157},
  number    = {5},
  year      = {2009},
  pages     = {1046-1068},
  ee        = {http://dx.doi.org/10.1016/j.dam.2008.03.031},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}