Zhaohui Fu

According to our database, Zhaohui Fu authored at least 22 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Higher-Order Energy-Decreasing Exponential Time Differencing Runge-Kutta methods for Gradient Flows.

Zhaohui Fu, Jie Shen, Jiang Yang

CoRR, 2024

2023

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., February, 2023

2022

Energy Plus Maximum Bound Preserving Runge-Kutta Methods for the Allen-Cahn Equation.

Zhaohui Fu, Tao Tang, Jiang Yang

J. Sci. Comput., 2022

Energy-decreasing exponential time differencing Runge-Kutta methods for phase-field models.

Zhaohui Fu, Jiang Yang

J. Comput. Phys., 2022

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

2021

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

2019

dpSmart: A Flexible Group Based Recommendation Framework for Digital Repository Systems.

Boyuan Guan, Liting Hu, Pinchao Liu, Hailu Xu, Zhaohui Fu, Qingyang Wang

Proceedings of the 2019 IEEE International Congress on Big Data, 2019

2008

Automated assumption generation for compositional verification.

Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu

Formal Methods Syst. Des., 2008

2007

Port space allocation with a time dimension.

Zhaohui Fu, Yanzhi Li, Andrew Lim, Brian Rodrigues

J. Oper. Res. Soc., 2007

Extracting Logic Circuit Structure from Conjunctive Normal Form Descriptions.

Zhaohui Fu, Sharad Malik

Proceedings of the 20th International Conference on VLSI Design (VLSI Design 2007), 2007

2006

On Solving the Partial MAX-SAT Problem.

Zhaohui Fu, Sharad Malik

Proceedings of the Theory and Applications of Satisfiability Testing, 2006

Solving the minimum-cost satisfiability problem using SAT based branch-and-bound search.

Zhaohui Fu, Sharad Malik

Proceedings of the 2006 International Conference on Computer-Aided Design, 2006

2005

Considering Circuit Observability Don't Cares in CNF Satisfiability.

Zhaohui Fu, Yinlei Yu, Sharad Malik

Proceedings of the 2005 Design, 2005

2004

Port yard storage optimization.

Ping Chen, Zhaohui Fu, Andrew Lim, Brian Rodrigues

IEEE Trans Autom. Sci. Eng., 2004

The Two-Dimensional Packing Problem for Irregular Objects.

Ping Chen, Zhaohui Fu, Andrew Lim, Brian Rodrigues

Int. J. Artif. Intell. Tools, 2004

Zchaff2004: An Efficient SAT Solver.

Yogesh S. Mahajan, Zhaohui Fu, Sharad Malik

Proceedings of the Theory and Applications of Satisfiability Testing, 2004

2003

Two-Dimensional acking For Irregular Shaped Objects.

Ping Chen, Zhaohui Fu, Andrew Lim, Brian Rodrigues

Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

The General Yard Allocation Problem.

Ping Chen, Zhaohui Fu, Andrew Lim, Brian Rodrigues

Proceedings of the Genetic and Evolutionary Computation, 2003

Shortest path problem with cache dependent path lengths.

Zhaohui Fu, Andy Kurnia, Andrew Lim, Brian Rodrigues

Proceedings of the IEEE Congress on Evolutionary Computation, 2003

2002

Using Genetic Algorithms To Solve The Yard Allocation Problem.

Ping Chen, Zhaohui Fu, Andrew Lim

Proceedings of the GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, 2002

The Yard Allocation Problem.

Ping Chen, Zhaohui Fu, Andrew Lim

Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2000

Heuristics for the exam scheduling problem.

Zhaohui Fu, Andrew Lim

Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000