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

• Samuel Lee (ENGN4200 final year project, 2009)
• Sajjad Siddiqi (PhD, 2009)
• Anika Schumann (PhD, 2008, co-supervised by Sylvie Thiébaux and Yanick Pencolé)

Teaching

• COMP3630/6363 Theory of Computation
  • S1 2009 (with Andreas Bauer and Brendan McKay)
  • S1 2007, 2008 (with Brendan McKay)
• Knowledge Compilation
  • S1 2007, 2008, 2009 (part of COMP4630/6463 Overview of Logic and Computation)
  • Dec 2007 (part of Logic Summer School)
• Boolean Satisfiability
  • S2 2009 (part of COMP4418 Knowledge Representation and Reasoning, UNSW)
• COMP8620 Advanced Topics in AI
  • S2 2008 (with Philip Kilby)
• COMP1140 Data Structures and Algorithms II
  • S2 2007, 2008, 2009 (lectures on Combinatorics and Probability)
• COMP3620/6320 Artificial Intelligence
  • S1 2006 (with Olivier Buffet, Alban Grastien, and John Lloyd)

Publications

• Constraint-based Optimal Testing Using DNNF Graphs. Anika Schumann, Martin Sachenbacher, and Jinbo Huang. To appear in Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming (CP), 2009.
  • An earlier version appears in Fifth Workshop on Model-based Testing (MBT), 2009.
• Variable and Value Ordering for MPE Search. Sajjad Siddiqi and Jinbo Huang. To appear in Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI), 2009.
• A Divide-and-Conquer Approach for Solving Interval Algebra Networks. Jason Jingshi Li, Jinbo Huang, and Jochen Renz. To appear in Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI), 2009.
• The Many Roads Leading to Rome: Solving Zinc Models by Various Solvers. Ralph Becket, Sebastian Brand, Mark Brown, Gregory J. Duck, Thibaut Feydy, Julien Fischer, Jinbo Huang, Kim Marriott, Nicholas Nethercote, Jakob Puchinger, Reza Rafeh, Peter J. Stuckey, and Mark G. Wallace. Seventh International Workshop on Constraint Modelling and Reformulation (ModRef), 2008.
• 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.
• Probabilistic Sequential Diagnosis by Compilation. Sajjad Siddiqi and Jinbo Huang. Tenth International Symposium on Artificial Intelligence and Mathematics (ISAIM), 2008.
• 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.
• 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.
  • An earlier version appears in AAAI Workshop on Learning for Search, 2006, pages 1–6.
• 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.
  • An earlier version appears in 16th International Workshop on Principles of Diagnosis (DX), 2005, pages 95–100.
• MUP: A Minimal Unsatisfiability Prover. Jinbo Huang. Proceedings of the Tenth Asia and South Pacific Design Automation Conference (ASP-DAC), 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 (ICTAI), 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.
  • An earlier version appears in Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT), 2004, pages 127–136.
• 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; AAAI 2007, 2008; ECAI 2008; IJCAI 2009.