Michael Buro's Publication List Journal Publications & Book Chapters M. Buro and H. Kleine Büning, Report on a SAT Competition, Bulletin of the EATCS 49 (1993) M. Buro, On the Maximum Length of Huffman Codes, Information Processing Letters 45(1993), 219-223 M. Buro, ProbCut: An Effective Selective Extension of the Alpha-Beta Algorithm, ICCA Journal 18(2) 1995, 71-76 M. Buro, Statistical Feature Co