 | 2008 |
|---|
| 13 |       | Anubhav Gupta,
Kenneth L. McMillan,
Zhaohui Fu:
Automated assumption generation for compositional verification.
Formal Methods in System Design 32(3): 285-301 (2008) |
| 2007 |
|---|
| 12 | | Anubhav Gupta,
Kenneth L. McMillan,
Zhaohui Fu:
Automated Assumption Generation for Compositional Verification.
CAV 2007: 420-432 |
| 11 | | Zhaohui Fu,
Sharad Malik:
Extracting Logic Circuit Structure from Conjunctive Normal Form Descriptions.
VLSI Design 2007: 37-42 |
| 2006 |
|---|
| 10 | | Zhaohui Fu,
Sharad Malik:
Solving the minimum-cost satisfiability problem using SAT based branch-and-bound search.
ICCAD 2006: 852-859 |
| 9 | | Zhaohui Fu,
Sharad Malik:
On Solving the Partial MAX-SAT Problem.
SAT 2006: 252-265 |
| 2005 |
|---|
| 8 | | Zhaohui Fu,
Yinlei Yu,
Sharad Malik:
Considering Circuit Observability Don't Cares in CNF Satisfiability.
DATE 2005: 1108-1113 |
| 2004 |
|---|
| 7 | | Yogesh S. Mahajan,
Zhaohui Fu,
Sharad Malik:
Zchaff2004: An Efficient SAT Solver.
SAT (Selected Papers 2004: 360-375 |
| 6 | | Ping Chen,
Zhaohui Fu,
Andrew Lim,
Brian Rodrigues:
The Two-Dimensional Packing Problem for Irregular Objects.
International Journal on Artificial Intelligence Tools 13(3): 429-448 (2004) |
| 2003 |
|---|
| 5 | | Ping Chen,
Zhaohui Fu,
Andrew Lim,
Brian Rodrigues:
The General Yard Allocation Problem.
GECCO 2003: 1986-1997 |
| 4 | | Ping Chen,
Zhaohui Fu,
Andrew Lim,
Brian Rodrigues:
Two-Dimensional acking For Irregular Shaped Objects.
HICSS 2003: 86 |
| 2002 |
|---|
| 3 |  | Ping Chen,
Zhaohui Fu,
Andrew Lim:
The Yard Allocation Problem.
AAAI/IAAI 2002: 3-8 |
| 2 | | Ping Chen,
Zhaohui Fu,
Ping Chen,
Andrew Lim:
Using Genetic Algorithms To Solve The Yard Allocation Problem.
GECCO 2002: 1049-1056 |
| 2000 |
|---|
| 1 | | Zhaohui Fu,
Andrew Lim:
Heuristics for the exam scheduling problem.
ICTAI 2000: 172-175 |
