Jinbo Huang
Level 3, 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 Research School of Computer Science at the Australian National University. My research interests lie mainly in 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.

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: slides)
• COMP3620/6320 Artificial Intelligence
  • S1 2006 (lectures on Search)
• COMP3630/6363 Theory of Computation
  • S1 2007, 2008, 2009, 2010, 2011, 2012 (lectures on Computability and Complexity)
• COMP4418 Knowledge Representation and Reasoning, UNSW
  • S2 2009, 2010 (lectures on Satisfiability: slides)
• COMP4630/6463 Overview of Logic and Computation
  • S1 2007, 2008, 2009, S2 2010, 2011 (lectures on Knowledge Compilation: slides)
• 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