Huang, Jinbo

13 publications

JAIR 2011 Sequential Diagnosis by Abstraction Sajjad Ahmed Siddiqi, Jinbo Huang

AAAI 2010 Computing Cost-Optimal Definitely Discriminating Tests Anika Schumann, Jinbo Huang, Martin Sachenbacher

IJCAI 2009 A Divide-and-Conquer Approach for Solving Interval Algebra Networks Jason Jingshi Li, Jinbo Huang, Jochen Renz

IJCAI 2009 Variable and Value Ordering for MPE Search Sajjad Ahmed Siddiqi, Jinbo Huang

AAAI 2008 A Scalable Jointree Algorithm for Diagnosability Anika Schumann, Jinbo Huang

IJCAI 2007 Factored Planning Using Decomposition Trees Elena Kelareva, Olivier Buffet, Jinbo Huang, Sylvie Thiébaux

IJCAI 2007 Hierarchical Diagnosis of Multiple Faults Sajjad Ahmed Siddiqi, Jinbo Huang

IJCAI 2007 The Effect of Restarts on the Efficiency of Clause Learning Jinbo Huang

JAIR 2007 The Language of Search Jinbo Huang, Adnan Darwiche

AAAI 2006 Solving MAP Exactly by Searching on Compiled Arithmetic Circuits Jinbo Huang, Mark Chavira, Adnan Darwiche

IJCAI 2005 DPLL with a Trace: From SAT to Knowledge Compilation Jinbo Huang, Adnan Darwiche

AAAI 2005 On Compiling System Models for Faster and More Scalable Diagnosis Jinbo Huang, Adnan Darwiche

IJCAI 2003 A Structure-Based Variable Ordering Heuristic for SAT Jinbo Huang, Adnan Darwiche