Zhaohui Fu

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 8

Top Topics

Poisson Equation

Boundary Value Problem

Numerical Methods

Top Venues

J. Comput. Phys.

SIAM J. Appl. Math.

BigData Congress

Publications

Zhaohui Fu, Jie Shen, Jiang Yang
Higher-Order Energy-Decreasing Exponential Time Differencing Runge-Kutta methods for Gradient Flows. CoRR (2024)
Xinyu Cheng, Zhaohui Fu, Brian Wetton
Equivalent Formulations of the Oxygen Depletion Problem, Other Implicit Moving Boundary Value Problems, and Implications for Numerical Approximation. SIAM J. Appl. Math. 83 (1) (2023)
Zhaohui Fu, Jiang Yang
Energy-decreasing exponential time differencing Runge-Kutta methods for phase-field models. J. Comput. Phys. 454 (2022)
Zhaohui Fu, Tao Tang, Jiang Yang
Unconditionally energy decreasing high-order Implicit-Explicit Runge-Kutta methods for phase-field models with the Lipschitz nonlinearity. CoRR (2022)
Zhaohui Fu, Tao Tang, Jiang Yang
Energy plus maximum bound preserving Runge-Kutta methods for the Allen-Cahn equation. CoRR (2022)
Zhaohui Fu, Tao Tang, Jiang Yang
Energy Plus Maximum Bound Preserving Runge-Kutta Methods for the Allen-Cahn Equation. J. Sci. Comput. 92 (3) (2022)
Xinyu Cheng, Zhaohui Fu, Brian Wetton
Equivalent formulations of the oxygen depletion problem, other implicit free boundary value problems, and implications for numerical approximation. CoRR (2021)
Boyuan Guan, Liting Hu, Pinchao Liu, Hailu Xu, Zhaohui Fu, Qingyang Wang
dpSmart: A Flexible Group Based Recommendation Framework for Digital Repository Systems. BigData Congress (2019)
Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu
Automated assumption generation for compositional verification. Formal Methods Syst. Des. 32 (3) (2008)
Zhaohui Fu, Yanzhi Li, Andrew Lim, Brian Rodrigues
Port space allocation with a time dimension. J. Oper. Res. Soc. 58 (6) (2007)
Zhaohui Fu, Sharad Malik
Extracting Logic Circuit Structure from Conjunctive Normal Form Descriptions. VLSI Design (2007)
Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu
Automated Assumption Generation for Compositional Verification. CAV (2007)
Zhaohui Fu, Sharad Malik
Solving the minimum-cost satisfiability problem using SAT based branch-and-bound search. ICCAD (2006)
Zhaohui Fu, Sharad Malik
On Solving the Partial MAX-SAT Problem. SAT (2006)
Zhaohui Fu, Yinlei Yu, Sharad Malik
Considering Circuit Observability Don't Cares in CNF Satisfiability. DATE (2005)
Ping Chen, Zhaohui Fu, Andrew Lim, Brian Rodrigues
The Two-Dimensional Packing Problem for Irregular Objects. Int. J. Artif. Intell. Tools 13 (3) (2004)
Ping Chen, Zhaohui Fu, Andrew Lim, Brian Rodrigues
Port yard storage optimization. IEEE Trans Autom. Sci. Eng. 1 (1) (2004)
Yogesh S. Mahajan, Zhaohui Fu, Sharad Malik
Zchaff2004: An Efficient SAT Solver. SAT (Selected Papers (2004)
Ping Chen, Zhaohui Fu, Andrew Lim, Brian Rodrigues
Two-Dimensional acking For Irregular Shaped Objects. HICSS (2003)
Zhaohui Fu, Andy Kurnia, Andrew Lim, Brian Rodrigues
Shortest path problem with cache dependent path lengths. IEEE Congress on Evolutionary Computation (2003)
Ping Chen, Zhaohui Fu, Andrew Lim, Brian Rodrigues
The General Yard Allocation Problem. GECCO (2003)
Ping Chen, Zhaohui Fu, Andrew Lim
Using Genetic Algorithms To Solve The Yard Allocation Problem. GECCO (2002)
Ping Chen, Zhaohui Fu, Andrew Lim
The Yard Allocation Problem. AAAI/IAAI (2002)
Zhaohui Fu, Andrew Lim
Heuristics for the exam scheduling problem. ICTAI (2000)