☰

Zhihong Zeng, Ph.D.

Affiliations: 
2003 University of Massachusetts, Amherst, Amherst, MA 
Area:
Electronics and Electrical Engineering
Google:
"Zhihong Zeng"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Maciej Ciesielski grad student 2003 U Mass Amherst
 (Functional test generation based on word -level satisfiability.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Zeng Z, Talupuru KR, Ciesielski M. (2005) Functional test generation based on word-level SAT Journal of Systems Architecture. 51: 488-511
Kalla P, Zeng Z, Ciesielski MJ. (2001) Strategies for solving the Boolean satisfiability problem using binary decision diagrams Journal of Systems Architecture. 47: 491-503
See more...