Ying Zhao Papers on DiSC'03 Evaluation of hierarchical clustering algorithms for document datasets Publications Note: Links lead to the DBLP on the Web. Ying Zhao 8 Ying Zhao, George Karypis : Evaluation of hierarchical clustering algorithms for document datasets. CIKM 2002 : 515-524 7 Matthew W. Moskewicz , Conor F. Madigan , Ying Zhao, Lintao Zhang , Sharad Malik : Chaff: Engineering an Efficient SAT Solver. DAC 2001 : 530-535 6 Ying Zhao, Sharad Malik , Albert Wang , Matthew W. Moskewicz , Conor F. Madigan : Matching Architecture to Application Via Configurable Processors: A Case Study with Boolean Satisfiability Problem. ICCD 2001 : 447-452 5 Ying Zhao, Sharad Malik , Matthew W. Moskewicz , Conor F. Madigan : Accelerating boolean satisfiability through application specific processing. ISSS 2001 : 244-249 4 Ying Zhao, Sharad Malik : Exact Memory Size Estimation for Array Computations without Loop Unrolling. DAC 1999 : 811-816 3 John Tromp , Louxin Zhang , Ying Zhao: Small Weight Bases for Hamming Codes. TCS 181 (2): 337-345 (1997) 2 John Tromp , Louxin Zhang , Ying Zhao: Small Weight Bases for Hamming Codes. COCOON 1995 : 235-243 1 Ying Zhao, Richard M. Schwartz , John Makhoul , George Zavaliagkos : Segmental Neural Net Optimization for Continuous Speech Recognition. NIPS 1993 : 1059-1066 DiSC'03 © 2003 Association for Computing Machinery