Heuristics for the exam scheduling problem. - Zhaohui Fu; Andrew Lim 001 (ICTAI, 2000)

The Yard Allocation Problem. - Ping Chen; Zhaohui Fu; Andrew Lim 001 (AAAI/IAAI, 2002)

Using Genetic Algorithms To Solve The Yard Allocation Problem. - Ping Chen; Zhaohui Fu; Andrew Lim 001 (GECCO, 2002)

Shortest path problem with cache dependent path lengths. - Zhaohui Fu; Andy Kurnia; Andrew Lim 001; Brian Rodrigues (IEEE Congress on Evolutionary Computation, 2003)

The General Yard Allocation Problem. - Ping Chen; Zhaohui Fu; Andrew Lim 001; Brian Rodrigues (GECCO, 2003)

Two-Dimensional acking For Irregular Shaped Objects. - Ping Chen; Zhaohui Fu; Andrew Lim 001; Brian Rodrigues (HICSS, 2003)

Zchaff2004: An Efficient SAT Solver. - Yogesh S. Mahajan; Zhaohui Fu; Sharad Malik (SAT (Selected Papers, 2004)

The Two-Dimensional Packing Problem for Irregular Objects. - Ping Chen; Zhaohui Fu; Andrew Lim 001; Brian Rodrigues (Int. J. Artif. Intell. Tools, 2004)

Port yard storage optimization. - Ping Chen; Zhaohui Fu; Andrew Lim 001; Brian Rodrigues (IEEE Trans Autom. Sci. Eng., 2004)

Considering Circuit Observability Don't Cares in CNF Satisfiability. - Zhaohui Fu; Yinlei Yu; Sharad Malik (DATE, 2005)

Solving the minimum-cost satisfiability problem using SAT based branch-and-bound search. - Zhaohui Fu; Sharad Malik (ICCAD, 2006)

On Solving the Partial MAX-SAT Problem. - Zhaohui Fu; Sharad Malik (SAT, 2006)

Extracting Logic Circuit Structure from Conjunctive Normal Form Descriptions. - Zhaohui Fu; Sharad Malik (VLSI Design, 2007)

Port space allocation with a time dimension. - Zhaohui Fu; Yanzhi Li; Andrew Lim 001; Brian Rodrigues (J. Oper. Res. Soc., 2007)

Automated assumption generation for compositional verification. - Anubhav Gupta 001; Kenneth L. McMillan; Zhaohui Fu (Formal Methods Syst. Des., 2008)

dpSmart: A Flexible Group Based Recommendation Framework for Digital Repository Systems. - Boyuan Guan; Liting Hu; Pinchao Liu; Hailu Xu; Zhaohui Fu; Qingyang Wang 001 (BigData Congress, 2019)

Equivalent formulations of the oxygen depletion problem, other implicit free boundary value problems, and implications for numerical approximation. - Xinyu Cheng; Zhaohui Fu; Brian Wetton (CoRR, 2021)

Unconditionally energy decreasing high-order Implicit-Explicit Runge-Kutta methods for phase-field models with the Lipschitz nonlinearity. - Zhaohui Fu; Tao Tang; Jiang Yang (CoRR, 2022)

Energy-decreasing exponential time differencing Runge-Kutta methods for phase-field models. - Zhaohui Fu; Jiang Yang (J. Comput. Phys., 2022)

Energy Plus Maximum Bound Preserving Runge-Kutta Methods for the Allen-Cahn Equation. - Zhaohui Fu; Tao Tang; Jiang Yang (J. Sci. Comput., 2022)

Equivalent Formulations of the Oxygen Depletion Problem, Other Implicit Moving Boundary Value Problems, and Implications for Numerical Approximation. - Xinyu Cheng; Zhaohui Fu; Brian Wetton (SIAM J. Appl. Math., 2023)

Higher-Order Energy-Decreasing Exponential Time Differencing Runge-Kutta methods for Gradient Flows. - Zhaohui Fu; Jie Shen 001; Jiang Yang (CoRR, 2024)