Zhuo Huang

2005
3	EE	Prabhat Mishra, Heon-Mo Koo, Zhuo Huang: Language-driven Validation of Pipelined Processors using Satisfiability Solvers. MTV 2005: 119-126
2004
2	EE	Zhuo Huang, Hantao Zhang, Jian Zhang: Improving First-order Model Searching by Propositional Reasoning and Lemma Learning. SAT 2004
2002
1	EE	Wenhui Zhang, Zhuo Huang, Jian Zhang: Parallel Execution of Stochastic Search Procedures on Reduced SAT Instances. PRICAI 2002: 108-117

Coauthor Index

1	Heon-Mo Koo	[3]
2	Prabhat Mishra	[3]
3	Hantao Zhang	[2]
4	Jian Zhang	[1] [2]
5	Wenhui Zhang	[1]

Colors in the list of coauthors