| 2012 | ECAI | SAT vs. Search for Qualitative Temporal Reasoning. | Jinbo Huang |
| 2012 | ECAI | Implementation of Critical Path Heuristics for SAT. | Jinbo Huang |
| 2012 | KR | Compactness and Its Implications for Qualitative Spatial and Temporal Reasoning. | Jinbo Huang |
| 2012 | KR | Search Strategy Simulation in Constraint Booleanization. | Jinbo Huang |
| 2010 | AAAI | Computing Cost-Optimal Definitely Discriminating Tests. | Anika Schumann, Jinbo Huang, Martin Sachenbacher |
| 2010 | KR | New Advances in Sequential Diagnosis. | Sajjad Ahmed Siddiqi, Jinbo Huang |
| 2009 | CP | Constraint-Based Optimal Testing Using DNNF Graphs. | Anika Schumann, Martin Sachenbacher, Jinbo Huang |
| 2009 | IJCAI | A Divide-and-Conquer Approach for Solving Interval Algebra Networks. | Jason Jingshi Li, Jinbo Huang, Jochen Renz |
| 2009 | IJCAI | Variable and Value Ordering for MPE Search. | Sajjad Ahmed Siddiqi, Jinbo Huang |
| 2008 | AAAI | A Scalable Jointree Algorithm for Diagnosability. | Anika Schumann, Jinbo Huang |
| 2008 | CP | Universal Booleanization of Constraint Models. | Jinbo Huang |
| 2008 | ISAIM | Probabilistic Sequential Diagnosis by Compilation. | Sajjad Ahmed Siddiqi, Jinbo Huang |
| 2007 | CP | A Case for Simple SAT Solvers. | Jinbo Huang |
| 2007 | IJCAI | The Effect of Restarts on the Efficiency of Clause Learning. | Jinbo Huang |
| 2007 | IJCAI | Factored Planning Using Decomposition Trees. | Elena Kelareva, Olivier Buffet, Jinbo Huang, Sylvie Thibaux |
| 2007 | IJCAI | Hierarchical Diagnosis of Multiple Faults. | Sajjad Ahmed Siddiqi, Jinbo Huang |
| 2006 | AAAI | Solving MAP Exactly by Searching on Compiled Arithmetic Circuits. | Jinbo Huang, Mark Chavira, Adnan Darwiche |
| 2005 | AAAI | On Compiling System Models for Faster and More Scalable Diagnosis. | Jinbo Huang, Adnan Darwiche |
| 2005 | ASPDAC | MUP: a minimal unsatisfiability prover. | Jinbo Huang |
| 2005 | IJCAI | DPLL with a Trace: From SAT to Knowledge Compilation. | Jinbo Huang, Adnan Darwiche |
| 2004 | ICTAI | Toward Good Elimination Orders for Symbolic SAT Solving. | Jinbo Huang, Adnan Darwiche |
| 2004 | SAT | Using DPLL for Efficient OBDD Construction. | Jinbo Huang, Adnan Darwiche |
| 2004 | SAT | Using DPLL for Efficient OBDD Construction. | Jinbo Huang, Adnan Darwiche |
| 2003 | IJCAI | A Structure-Based Variable Ordering Heuristic for SAT. | Jinbo Huang, Adnan Darwiche |