Zhaohui Fu - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2023

Equivalent Formulations of the Oxygen Depletion Problem, Other Implicit Moving Boundary Value Problems, and Implications for Numerical ApproximationXinyu Cheng, Zhaohui Fu, Brian Wetton. siamam, 83(1):52-78, February 2023. [doi]

2022

Energy-decreasing exponential time differencing Runge-Kutta methods for phase-field modelsZhaohui Fu, Jiang Yang. jcphy, 454:110943, 2022. [doi]

Energy Plus Maximum Bound Preserving Runge-Kutta Methods for the Allen-Cahn EquationZhaohui Fu, Tao Tang, Jiang Yang. jscic, 92(3):97, 2022. [doi]

2019

dpSmart: A Flexible Group Based Recommendation Framework for Digital Repository SystemsBoyuan Guan, Liting Hu, Pinchao Liu, Hailu Xu, Zhaohui Fu, Qingyang Wang. bigdata 2019: 111-120 [doi]

2008

Automated assumption generation for compositional verificationAnubhav Gupta, Kenneth L. McMillan, Zhaohui Fu. fmsd, 32(3):285-301, 2008. [doi]

2007

Extracting Logic Circuit Structure from Conjunctive Normal Form DescriptionsZhaohui Fu, Sharad Malik. vlsid 2007: 37-42 [doi]

Automated Assumption Generation for Compositional VerificationAnubhav Gupta, Kenneth L. McMillan, Zhaohui Fu. cav 2007: 420-432 [doi]

2006

On Solving the Partial MAX-SAT ProblemZhaohui Fu, Sharad Malik. sat 2006: 252-265 [doi]

Solving the minimum-cost satisfiability problem using SAT based branch-and-bound searchZhaohui Fu, Sharad Malik. iccad 2006: 852-859 [doi]

2005

Considering Circuit Observability Don t Cares in CNF SatisfiabilityZhaohui Fu, Yinlei Yu, Sharad Malik. date 2005: 1108-1113 [doi]

2004

Port yard storage optimizationPing Chen, Zhaohui Fu, Andrew Lim, Brian Rodrigues. tase, 1(1):26-37, 2004. [doi]

The Two-Dimensional Packing Problem for Irregular ObjectsPing Chen, Zhaohui Fu, Andrew Lim, Brian Rodrigues. ijait, 13(3):429-448, 2004. [doi]

Zchaff2004: An Efficient SAT SolverYogesh S. Mahajan, Zhaohui Fu, Sharad Malik. sat 2005: 360-375 [doi]

2003

2002

The Yard Allocation ProblemPing Chen, Zhaohui Fu, Andrew Lim. AAAI 2002: 3-8

Using Genetic Algorithms To Solve The Yard Allocation ProblemZhaohui Fu, Ping Chen, Andrew Lim. gecco 2002: 1049-1056

2000

Heuristics for the exam scheduling problemZhaohui Fu, Andrew Lim. ictai 2000: 172-175 [doi]

Sign in or sign up to see more results.

runs on WebDSL