My research interests lie mainly in artificial intelligence, particularly knowledge representation and reasoning.
I completed my PhD in 2005 in the
Computer Science Department at the
University of California, Los Angeles, as a member of the
Automated Reasoning Group.
Between that and January 2013 I was a researcher and then senior researcher at NICTA.
My academic genealogy is described by this graph,
courtesy of the
Mathematics Genealogy Project
and
David Alber's Geneagrapher.
Software
- FznTini: A general constraint solver purely based on SAT
- Tinisat: A small clause learning SAT solver
Publications
- Decomposition and Tractability in Qualitative Spatial and Temporal Reasoning. Jinbo Huang, Jason Jingshi Li, and Jochen Renz.
Artificial Intelligence, Volume 195, February 2013, pages 140–164, doi:10.1016/j.artint.2012.09.009.
- SAT vs. Search for Qualitative Temporal Reasoning. Jinbo Huang.
Proceedings of the 20th European Conference on Artificial Intelligence (ECAI), 2012, pages 426–431.
- Implementation of Critical Path Heuristics for SAT. Jinbo Huang.
Proceedings of the 20th European Conference on Artificial Intelligence (ECAI), 2012, pages 907–908.
- Compactness and Its Implications for Qualitative Spatial and Temporal Reasoning.
Jinbo Huang.
Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR), 2012.
- Search Strategy Simulation in Constraint Booleanization.
Jinbo Huang.
Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR), 2012.
- Sequential Diagnosis by Abstraction. Sajjad Siddiqi and Jinbo Huang.
Journal of Artificial Intelligence Research, Volume 41, 2011, pages 329–365, doi:10.1613/jair.3296.
- Extended Clause Learning. Jinbo Huang.
Artificial Intelligence, Volume 174, Issue 15, 2010, pages 1277–1284, doi:10.1016/j.artint.2010.07.008.
- Computing Cost-Optimal Definitely Discriminating Tests. Anika Schumann, Jinbo Huang, and Martin Sachenbacher.
Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI), 2010.
- New Advances in Sequential Diagnosis.
Sajjad Siddiqi and Jinbo Huang.
Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR), 2010.
- Constraint-based Optimal Testing Using DNNF Graphs. Anika Schumann, Martin Sachenbacher, and Jinbo Huang.
Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming (CP), 2009, pages 731–745.
- Variable and Value Ordering for MPE Search.
Sajjad Siddiqi and Jinbo Huang.
Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI), 2009, pages 1964–1969.
- A Divide-and-Conquer Approach for Solving Interval Algebra Networks.
Jason Jingshi Li, Jinbo Huang, and Jochen Renz.
Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI), 2009, pages 572–577.
- Universal Booleanization of Constraint Models. Jinbo Huang.
Proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP), 2008, pages 144–158.
- A Scalable Jointree Algorithm for Diagnosability.
Anika Schumann and Jinbo Huang.
Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI), 2008, pages 535–540.
- A Case for Simple SAT Solvers. Jinbo Huang.
Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP), 2007, pages 839–846.
- The Language of Search. Jinbo Huang and Adnan Darwiche.
Journal of Artificial Intelligence Research, Volume 29, 2007, pages 191–219, doi:10.1613/jair.2097.
- The Effect of Restarts on the Efficiency of Clause Learning.
Jinbo Huang.
Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI), 2007, pages 2318–2323.
- Hierarchical Diagnosis of Multiple Faults.
Sajjad Siddiqi and Jinbo Huang.
Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI), 2007, pages 581–586.
- Factored Planning Using Decomposition Trees.
Elena Kelareva, Olivier Buffet, Jinbo Huang, and Sylvie Thiébaux.
Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI), 2007, pages 1942–1947.
- Solving MAP Exactly by Searching on Compiled Arithmetic Circuits.
Jinbo Huang, Mark Chavira, and Adnan Darwiche.
Proceedings of the 21st National Conference on Artificial Intelligence (AAAI), 2006, pages 143–148.
[Slides (3.6 MB)]
- Combining Knowledge Compilation and Search for Conformant Probabilistic Planning.
Jinbo Huang.
Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), 2006, pages 253–262.
- DPLL with a Trace: From SAT to Knowledge Compilation.
Jinbo Huang and Adnan Darwiche.
Proceedings of the 19th International Joint
Conference on Artificial Intelligence (IJCAI), 2005, pages 156–162.
- On Compiling System Models for Faster and More Scalable Diagnosis.
Jinbo Huang and Adnan Darwiche.
Proceedings of the 20th National Conference on Artificial Intelligence (AAAI), 2005, pages 300–306.
- MUP: A Minimal Unsatisfiability Prover.
Jinbo Huang.
Proceedings of the Tenth Asia and South Pacific Design Automation Conference, 2005, pages 432–437.
- Toward Good Elimination Orders for Symbolic SAT Solving.
Jinbo Huang and Adnan Darwiche. Proceedings of the 16th IEEE International Conference
on Tools with Artificial Intelligence, 2004, pages 566–573.
- Using DPLL for Efficient OBDD Construction.
Jinbo Huang and Adnan Darwiche.
SAT 2004, Selected and Revised Papers, Lecture Notes in Computer Science 3542, pages 157–172.
- A Structure-based Variable Ordering Heuristic for SAT.
Jinbo Huang and Adnan Darwiche. Proceedings of the 18th International Joint
Conference on Artificial Intelligence (IJCAI), 2003, pages 1167–1172.
Teaching
Service
- Member of program committee: SAT 2013; KR 2014; ICAPS 2007, 2008, 2009, 2011, 2012, 2013, 2014; AAAI 2007, 2008, 2010; ECAI 2008; IJCAI 2009, 2011