%0 Conference Paper %1 conf/cats/TsaiT98 %A Tsai, Ying Teh %A Tang, Chuan Yi %B CATS %D 1998 %E Lin, Xuemin %I Springer-Verlag Singapore Pte. Ltd. %K dblp %N 3 %P 137-150 %T An Average Case Analysis of the Branching Algorithm for Solving $k$-Satisfiability Problems. %U http://dblp.uni-trier.de/db/conf/cats/cats1998.html#TsaiT98 %V 20

@inproceedings{conf/cats/TsaiT98, added-at = {2009-03-03T00:00:00.000+0100}, author = {Tsai, Ying Teh and Tang, Chuan Yi}, biburl = {https://www.bibsonomy.org/bibtex/288fd8871dd9599f45fd4db5291375aec/dblp}, booktitle = {CATS}, crossref = {conf/cats/1998}, editor = {Lin, Xuemin}, interhash = {114e41baed70161b53071c9f0ccdb9fe}, intrahash = {88fd8871dd9599f45fd4db5291375aec}, keywords = {dblp}, number = 3, pages = {137-150}, publisher = {Springer-Verlag Singapore Pte. Ltd.}, series = {Australian Computer Science Communications}, timestamp = {2020-03-17T12:01:58.000+0100}, title = {An Average Case Analysis of the Branching Algorithm for Solving $k$-Satisfiability Problems.}, url = {http://dblp.uni-trier.de/db/conf/cats/cats1998.html#TsaiT98}, volume = 20, year = 1998 }