Jinbo Huang

	2011
26		Adnan Darwiche, Jinbo Huang: The Language of Search CoRR abs/1110.2734: (2011)
25		Sajjad Ahmed Siddiqi, Jinbo Huang: Sequential Diagnosis by Abstraction. J. Artif. Intell. Res. (JAIR) 41: 329-365 (2011)
	2010
24		Anika Schumann, Jinbo Huang, Martin Sachenbacher: Computing Cost-Optimal Definitely Discriminating Tests. AAAI 2010
23		Sajjad Ahmed Siddiqi, Jinbo Huang: New Advances in Sequential Diagnosis. KR 2010
22		Jinbo Huang: Extended clause learning. Artif. Intell. 174(15): 1277-1284 (2010)
	2009
21		Anika Schumann, Martin Sachenbacher, Jinbo Huang: Constraint-Based Optimal Testing Using DNNF Graphs. CP 2009: 731-745
20		Sajjad Ahmed Siddiqi, Jinbo Huang: Variable and Value Ordering for MPE Search. IJCAI 2009: 1964-1969
19		Jason Jingshi Li, Jinbo Huang, Jochen Renz: A Divide-and-Conquer Approach for Solving Interval Algebra Networks. IJCAI 2009: 572-577
18		Anika Schumann, Martin Sachenbacher, Jinbo Huang: Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs. Electr. Notes Theor. Comput. Sci. 253(2): 87-99 (2009)
	2008
17		Anika Schumann, Jinbo Huang: A Scalable Jointree Algorithm for Diagnosability. AAAI 2008: 535-540
16		Jinbo Huang: Universal Booleanization of Constraint Models. CP 2008: 144-158
15		Sajjad Ahmed Siddiqi, Jinbo Huang: Probabilistic Sequential Diagnosis by Compilation. ISAIM 2008
	2007
14		Jinbo Huang: A Case for Simple SAT Solvers. CP 2007: 839-846
13		Elena Kelareva, Olivier Buffet, Jinbo Huang, Sylvie Thiébaux: Factored Planning Using Decomposition Trees. IJCAI 2007: 1942-1947
12		Jinbo Huang: The Effect of Restarts on the Efficiency of Clause Learning. IJCAI 2007: 2318-2323
11		Sajjad Ahmed Siddiqi, Jinbo Huang: Hierarchical Diagnosis of Multiple Faults. IJCAI 2007: 581-586
10		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: 1143-1148
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		Jinbo Huang: MUP: a minimal unsatisfiability prover. ASP-DAC 2005: 432-437
5		Jinbo Huang, Adnan Darwiche: DPLL with a Trace: From SAT to Knowledge Compilation. IJCAI 2005: 156-162
	2004
4		Jinbo Huang, Adnan Darwiche: Toward Good Elimination Orders for Symbolic SAT Solving. ICTAI 2004: 566-573
3		Jinbo Huang, Adnan Darwiche: Using DPLL for Efficient OBDD Construction. SAT 2004
2		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] [26]
4	Elena Kelareva	[13]
5	Jason Jingshi Li	[19]
6	Jochen Renz	[19]
7	Martin Sachenbacher	[18] [21] [24]
8	Anika Schumann	[17] [18] [21] [24]
9	Sajjad Ahmed Siddiqi	[11] [15] [20] [23] [25]
10	Sylvie Thiébaux	[13]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page