Jinbo Huang
Level 1, Tower A 7 London Circuit Canberra ACT 2601 Phone: +61 2 6267 6216 E-mail: jinbo.huang(at)nicta.com.au See a swan family and March of the Ducks on ANU campus.

I am a senior researcher at NICTA, with an adjunct appointment in the Computer Sciences Laboratory at the Australian National University. My research interests include logical and probabilistic reasoning and their applications, and artificial intelligence in general. I completed my Ph.D. in 2005 in the Computer Science Department at the University of California, Los Angeles, as a member of the Automated Reasoning Group.

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

Students

• Kin-Hon Chan, COMP3006 project, 2010
• Samuel Lee, ENGN4200 final year project, 2009
• Sajjad Siddiqi, PhD, 2009
• Anika Schumann, PhD, 2008 (panel chair Sylvie Thiébaux)

Teaching

• COMP1140 Data Structures and Algorithms II
  • S2 2007, 2008, 2009, 2010 (lectures on Combinatorics and Probability)
• COMP1140 Introduction to Advanced Computing II
  • S2 2011 (lectures on Propositional Logic)
• COMP3620/6320 Artificial Intelligence
  • S1 2006 (lectures on Search)
• COMP3630/6363 Theory of Computation
  • S1 2007, 2008, 2009, 2010, 2011 (lectures on Computability and Complexity)
• COMP4418 Knowledge Representation and Reasoning, UNSW
  • S2 2009, 2010 (lectures on Satisfiability)
• COMP4630/6463 Overview of Logic and Computation
  • S1 2007, 2008, 2009, S2 2010, 2011 (lectures on Knowledge Compilation)
• COMP8620 Advanced Topics in AI
  • S2 2008 (lectures on Reasoning with Bayesian Networks)
• Logic Summer School
  • 2007 (lectures on Knowledge Compilation)
  • 2010, 2011 (lectures on Logic-based Probabilistic Reasoning: part 1, 2, 3, 4, 5)

Publications

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

Service

• Member of program committee: ICAPS 2007, 2008, 2009, 2011, 2012; AAAI 2007, 2008, 2010; ECAI 2008; IJCAI 2009, 2011