| 2019 | BigData | dpSmart: A Flexible Group Based Recommendation Framework for Digital Repository Systems. | Boyuan Guan, Liting Hu, Pinchao Liu, Hailu Xu, Zhaohui Fu, Qingyang Wang |
| 2007 | CAV | Automated Assumption Generation for Compositional Verification. | Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu |
| 2007 | VLSID | Extracting Logic Circuit Structure from Conjunctive Normal Form Descriptions. | Zhaohui Fu, Sharad Malik |
| 2006 | ICCAD | Solving the minimum-cost satisfiability problem using SAT based branch-and-bound search. | Zhaohui Fu, Sharad Malik |
| 2006 | SAT | On Solving the Partial MAX-SAT Problem. | Zhaohui Fu, Sharad Malik |
| 2005 | DATE | Considering Circuit Observability Don't Cares in CNF Satisfiability. | Zhaohui Fu, Yinlei Yu, Sharad Malik |
| 2004 | SAT | Zchaff2004: An Efficient SAT Solver. | Yogesh S. Mahajan, Zhaohui Fu, Sharad Malik |
| 2003 | CEC | Shortest path problem with cache dependent path lengths. | Zhaohui Fu, Andy Kurnia, Andrew Lim, Brian Rodrigues |
| 2003 | GECCO | The General Yard Allocation Problem. | Ping Chen, Zhaohui Fu, Andrew Lim, Brian Rodrigues |
| 2002 | AAAI | The Yard Allocation Problem. | Ping Chen, Zhaohui Fu, Andrew Lim |
| 2002 | GECCO | Using Genetic Algorithms To Solve The Yard Allocation Problem. | Ping Chen, Zhaohui Fu, Andrew Lim |
| 2000 | ICTAI | Heuristics for the exam scheduling problem. | Zhaohui Fu, Andrew Lim |