Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Equivalent formulations of the oxygen depletion problem, other implicit free boundary value problems, and implications for numerical approximation.

X. Cheng, Z. Fu, and B. Wetton. CoRR, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zhaohui Guo

Zhaohui Luo

Zhaohui Chen

Zhaohui Liu

Zhaohui Tong

Other publications of authors with the same name

On Solving the Partial MAX-SAT Problem.Z. Fu, and S. Malik. SAT, volume 4121 of Lecture Notes in Computer Science, page 252-265. Springer, (2006)Shortest path problem with cache dependent path lengths.Z. Fu, A. Kurnia, A. Lim, and B. Rodrigues. IEEE Congress on Evolutionary Computation, page 2756-2761. IEEE, (2003)Two-Dimensional acking For Irregular Shaped Objects.P. Chen, Z. Fu, A. Lim, and B. Rodrigues. HICSS, page 86. IEEE Computer Society, (2003)Solving the minimum-cost satisfiability problem using SAT based branch-and-bound search.Z. Fu, and S. Malik. ICCAD, page 852-859. ACM, (2006)Equivalent Formulations of the Oxygen Depletion Problem, Other Implicit Moving Boundary Value Problems, and Implications for Numerical Approximation.X. Cheng, Z. Fu, and B. Wetton. SIAM J. Appl. Math., 83 (1): 52-78 (February 2023)Considering Circuit Observability Don't Cares in CNF Satisfiability.Z. Fu, Y. Yu, and S. Malik. DATE, page 1108-1113. IEEE Computer Society, (2005)Using Genetic Algorithms To Solve The Yard Allocation Problem.P. Chen, Z. Fu, and A. Lim. GECCO, page 1049-1056. Morgan Kaufmann, (2002)Automated Assumption Generation for Compositional Verification.A. Gupta, K. McMillan, and Z. Fu. CAV, volume 4590 of Lecture Notes in Computer Science, page 420-432. Springer, (2007)Extracting Logic Circuit Structure from Conjunctive Normal Form Descriptions.Z. Fu, and S. Malik. VLSI Design, page 37-42. IEEE Computer Society, (2007)Heuristics for the exam scheduling problem.Z. Fu, and A. Lim. ICTAI, page 172-175. IEEE Computer Society, (2000)

BibSonomy

Disambiguation of "Fu, Zhaohui"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Equivalent formulations of the oxygen depletion problem, other implicit free boundary value problems, and implications for numerical approximation.

Please choose a person to relate this publication to

Zhaohui Guo

Zhaohui Luo

Zhaohui Chen

Zhaohui Liu

Zhaohui Tong

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Fu, Zhaohui"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Equivalent formulations of the oxygen depletion problem, other implicit free boundary value problems, and implications for numerical approximation.

Please choose a person to relate this publication to

Zhaohui Guo

Zhaohui Luo

Zhaohui Chen

Zhaohui Liu

Zhaohui Tong

Other publications of authors with the same name

Disambiguation