Zhaohui Fu

	2008
14		Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu: Automated assumption generation for compositional verification. Formal Methods in System Design 32(3): 285-301 (2008)
	2007
13		Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu: Automated Assumption Generation for Compositional Verification. CAV 2007: 420-432
12		Zhaohui Fu, Sharad Malik: Extracting Logic Circuit Structure from Conjunctive Normal Form Descriptions. VLSI Design 2007: 37-42
	2006
11		Zhaohui Fu, Sharad Malik: Solving the minimum-cost satisfiability problem using SAT based branch-and-bound search. ICCAD 2006: 852-859
10		Zhaohui Fu, Sharad Malik: On Solving the Partial MAX-SAT Problem. SAT 2006: 252-265
	2005
9		Zhaohui Fu, Yinlei Yu, Sharad Malik: Considering Circuit Observability Don't Cares in CNF Satisfiability. DATE 2005: 1108-1113
	2004
8		Yogesh S. Mahajan, Zhaohui Fu, Sharad Malik: Zchaff2004: An Efficient SAT Solver. SAT (Selected Papers 2004: 360-375
7		Ping Chen, Zhaohui Fu, Andrew Lim, Brian Rodrigues: Port yard storage optimization. IEEE T. Automation Science and Engineering 1(1): 26-37 (2004)
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, 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

Coauthor Index

1	Ping Chen	[2] [3] [4] [5] [6] [7]
2	Anubhav Gupta	[13] [14]
3	Andrew Lim	[1] [2] [3] [4] [5] [6] [7]
4	Yogesh S. Mahajan	[8]
5	Sharad Malik	[8] [9] [10] [11] [12]
6	Kenneth L. McMillan	[13] [14]
7	Brian Rodrigues	[4] [5] [6] [7]
8	Yinlei Yu	[9]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page