Jinbo Huang's Home Page
|  |
Level 1, Tower A
7 London Circuit
Canberra, ACT 2601
Phone: +61 2 6267 6216
E-mail: firstname dot lastname @nicta.com.au
See a swan family and
March of the Ducks on ANU campus.
|
I am a senior researcher in
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.
Software
- FznTini: A general constraint solver purely based on SAT
- Tinisat: A small clause learning SAT solver
Publications
Satisfiability / Knowledge Compilation / Constraints
- Universal Booleanization of Constraint Models. Jinbo Huang.
To appear in Proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP-08).
- A Case for Simple SAT Solvers. Jinbo Huang.
Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP-07), 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-07), pages 2318–2323.
- An earlier version appears in AAAI-06 Workshop on Learning for Search, pages 1–6.
- 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-05), pages 156–162.
- MUP: A Minimal Unsatisfiability Prover.
Jinbo Huang.
Proceedings of the Tenth Asia and South Pacific Design Automation Conference (ASP-DAC-05), 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-04), 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-04),
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-03), pages 1167–1172.
Diagnosis / Planning / Probabilistic Reasoning
- A Scalable Jointree Algorithm for Diagnosability.
Anika Schumann and Jinbo Huang.
To appear in Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI-08).
- Probabilistic Sequential Diagnosis by Compilation.
Sajjad Siddiqi and Jinbo Huang.
Tenth International Symposium on Artificial Intelligence and Mathematics (ISAIM-08).
- Hierarchical Diagnosis of Multiple Faults.
Sajjad Siddiqi and Jinbo Huang.
Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), 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-07), 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-06), 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-06), pages 253–262.
- 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-05), pages 300–306.
- An earlier version appears in 16th International Workshop on Principles of Diagnosis (DX-05), pages 95–100.
Teaching
