Concepedia

Zhaohui Fu

ZF

11

Publications

287

Citations

10

H-Index

2002

Active since

Affiliations

National University of Singapore(Current)

Princeton University

Zhaohui Fu is an author at National University of Singapore specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsAutomated ReasoningFormal VerificationComputer EngineeringSatisfiabilityCombinatorial OptimizationComputational Complexity

Publications per year

2002–2022

11

Publications

11

Automated assumption generation for compositional verification

Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu · Formal Methods in System Design · 2008 · 67 citations

Engineering, Automated Reasoning, Program Analysis +10

Extracting Logic Circuit Structure from Conjunctive Normal Form Descriptions

Zhaohui Fu, Sharad Malik · 2007 · 39 citations

Circuit Complexity, Applied Logic, Engineering +17

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

Zhaohui Fu, Sharad Malik · Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design · 2006 · 34 citations

Artificial Intelligence, Mathematical Programming, Engineering +18

One-step synthesis of carbon sphere@ 1 T-MoS2 towards superior antiwear and lubricity

Mengxin Xie, Bingli Pan, Hongyu Liu et al. · Tribology International · 2022 · 33 citations

Materials Science, T-mos2 Towards, Nanosheet +8

Considering Circuit Observability Don't Cares in CNF Satisfiability

Zhaohui Fu, Yinlei Yu, Sharad Malik · Design, Automation, and Test in Europe · 2005 · 28 citations

Circuit Complexity, Engineering, Automated Reasoning +12

Rows per page

1–5 of 11