Jinbo Huang Vis

*	2009
19	EE	Anika Schumann, Martin Sachenbacher, Jinbo Huang: Constraint-Based Optimal Testing Using DNNF Graphs. CP 2009: 731-745
18	EE	Sajjad Siddiqi, Jinbo Huang: Variable and Value Ordering for MPE Search. IJCAI 2009: 1964-1969
17	EE	Jason Jingshi Li, Jinbo Huang, Jochen Renz: A Divide-and-Conquer Approach for Solving Interval Algebra Networks. IJCAI 2009: 572-577
	2008
16		Anika Schumann, Jinbo Huang: A Scalable Jointree Algorithm for Diagnosability. AAAI 2008: 535-540
15	EE	Jinbo Huang: Universal Booleanization of Constraint Models. CP 2008: 144-158
	2007
14	EE	Jinbo Huang: A Case for Simple SAT Solvers. CP 2007: 839-846
13	EE	Elena Kelareva, Olivier Buffet, Jinbo Huang, Sylvie Thiébaux: Factored Planning Using Decomposition Trees. IJCAI 2007: 1942-1947
12	EE	Jinbo Huang: The Effect of Restarts on the Efficiency of Clause Learning. IJCAI 2007: 2318-2323
11	EE	Sajjad Siddiqi, Jinbo Huang: Hierarchical Diagnosis of Multiple Faults. IJCAI 2007: 581-586
10	EE	Jinbo Huang, Adnan Darwiche: The Language of Search. J. Artif. Intell. Res. (JAIR) 29: 191-219 (2007)
	2006
9		Jinbo Huang, Mark Chavira, Adnan Darwiche: Solving MAP Exactly by Searching on Compiled Arithmetic Circuits. AAAI 2006
8		Jinbo Huang: Combining Knowledge Compilation and Search for Conformant Probabilistic Planning. ICAPS 2006: 253-262
	2005
7		Jinbo Huang, Adnan Darwiche: On Compiling System Models for Faster and More Scalable Diagnosis. AAAI 2005: 300-306
6	EE	Jinbo Huang: MUP: a minimal unsatisfiability prover. ASP-DAC 2005: 432-437
5	EE	Jinbo Huang, Adnan Darwiche: DPLL with a Trace: From SAT to Knowledge Compilation. IJCAI 2005: 156-162
	2004
4	EE	Jinbo Huang, Adnan Darwiche: Toward Good Elimination Orders for Symbolic SAT Solving. ICTAI 2004: 566-573
3	EE	Jinbo Huang, Adnan Darwiche: Using DPLL for Efficient OBDD Construction. SAT 2004
2	EE	Jinbo Huang, Adnan Darwiche: Using DPLL for Efficient OBDD Construction. SAT (Selected Papers 2004: 157-172
	2003
1		Jinbo Huang, Adnan Darwiche: A Structure-Based Variable Ordering Heuristic for SAT. IJCAI 2003: 1167-1172

Coauthor Index

1	Olivier Buffet	[13]
2	Mark Chavira	[9]
3	Adnan Darwiche	[1] [2] [3] [4] [5] [7] [9] [10]
4	Elena Kelareva	[13]
5	Jason Jingshi Li	[17]
6	Jochen Renz	[17]
7	Martin Sachenbacher	[19]
8	Anika Schumann	[16] [19]
9	Sajjad Siddiqi	[11] [18]
10	Sylvie Thiébaux	[13]

Colors in the list of coauthors