Zhihong Zeng, Ph.D. - Publications

Affiliations: 
2003 University of Massachusetts, Amherst, Amherst, MA 
Area:
Electronics and Electrical Engineering

2 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2005 Zeng Z, Talupuru KR, Ciesielski M. Functional test generation based on word-level SAT Journal of Systems Architecture. 51: 488-511. DOI: 10.1016/J.Sysarc.2004.10.006  0.473
2001 Kalla P, Zeng Z, Ciesielski MJ. Strategies for solving the Boolean satisfiability problem using binary decision diagrams Journal of Systems Architecture. 47: 491-503. DOI: 10.1016/S1383-7621(01)00011-X  0.448
Show low-probability matches.