Zhaohui Fu - Citegraph

Author Info

Name	Affiliation	Papers
ZHAOHUI FU	Department of Computer Science, National University of Singapore, 3 Science Drive 2, Singapore	12
Collaborators	Citations	PageRank
9	283	14.28
Referers	Referees	References
605	191	111

Search Limit

100605

Publications (12 rows)

Collaborators (9 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Automated assumption generation for compositional verification	40	1.36	2008
Extracting Logic Circuit Structure from Conjunctive Normal Form Descriptions	12	0.57	2007
On solving the partial MAX-SAT problem	126	4.51	2006
Solving the Minimum-Cost Satisfiability Problem Using SAT Based Branch-and-Bound Search	15	0.85	2006
Considering Circuit Observability Don't Cares in CNF Satisfiability	19	0.94	2005
The Two-Dimensional Packing Problem for Irregular Objects	2	0.41	2004
Zchaff2004: an efficient SAT solver	57	3.13	2004
Two-Dimensional acking For Irregular Shaped Objects	0	0.34	2003
The general yard allocation problem	5	0.59	2003
The yard allocation problem	4	0.64	2002
Using Genetic Algorithms To Solve The Yard Allocation Problem	3	0.62	2002
Heuristics for the exam scheduling problem	0	0.34	2000

1