| 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 |
