Zhihong Zeng, Ph.D. - Publications
Affiliations: | 2003 | University of Massachusetts, Amherst, Amherst, MA |
Area:
Electronics and Electrical EngineeringYear | 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. |