DBLP Record 'journals/jal/DubiosB97'

BibTeX

@article{DBLP:journals/jal/DubiosB97,
  author    = {O. Dubios and
               Yacine Boufkhad},
  title     = {A General Upper Bound for the Satisfiability Threshold of
               Random r-SAT Formulae},
  journal   = {J. Algorithms},
  volume    = {24},
  number    = {2},
  year      = {1997},
  pages     = {395-420},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}