ChiLai Huang

	2000
3		Priyank Kalla, Zhihong Zeng, Maciej J. Ciesielski, ChiLai Huang: A BDD-Based Satisfiability Infrastructure Using the Unate Recursive Paradigm. DATE 2000: 232-236
	1994
2		Michael Quayle, ChiLai Huang: Complex Operator Synthesis. ICCD 1994: 514-517
	1992
1		ChiLai Huang, Joseph Lis, Michael Quayle, Saurin Shroff: RTL Controller Synthesis. Synthesis for Control Dominated Circuits 1992: 3-17

Coauthor Index

1	Maciej J. Ciesielski	[3]
2	Priyank Kalla	[3]
3	Joseph Lis	[1]
4	Michael Quayle	[1] [2]
5	Saurin Shroff	[1]
6	Zhihong Zeng	[3]

Colors in the list of coauthors