The SCEAS System
Navigation Menu

Search the dblp DataBase


Zhaohui Fu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002