Ying Teh Tsai, Chuan Yi Tang. An Average Case Analysis of the Branching Algorithm for Solving k -Satisfiability Problems. In Xuemin Lin, editor, Proceedings of Computing: The Fourth Australasian Theory Symposium (CATS 98), Perth, WA, Australia, February 2-3, 1998. Volume 20 of Australian Computer Science Communications, pages 137-150, Springer-Verlag Singapore Pte. Ltd., 1998.
Abstract is missing.