Zhaohui Fu

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