TsaiT98'

BibTeX

@inproceedings{DBLP:conf/cats/TsaiT98,
  author    = {Ying Teh Tsai and
               Chuan Yi Tang},
  title     = {An Average Case Analysis of the Branching Algorithm for
               Solving \$k\$-Satisfiability Problems},
  booktitle = {CATS},
  year      = {1998},
  pages     = {137-150},
  crossref  = {DBLP:conf/cats/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/cats/1998,
  editor    = {Xuemin Lin},
  title     = {Proceedings of Computing: The Fourth Australasian Theory
               Symposium (CATS'98), Perth, WA, Australia, February 2-3,
               1998},
  booktitle = {CATS},
  publisher = {Springer-Verlag Singapore Pte. Ltd.},
  series    = {Australian Computer Science Communications},
  volume    = {20},
  number    = {3},
  year      = {1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}