Jinbo Huang

National ICT Australia and Australian National University Canberra , ACT 0200 Australia

7 papers in the IJCAI proceedings

IJCAI 2009

A Divide-and-Conquer Approach for Solving Interval Algebra Networks

with Jason Jingshi Li, Jochen Renz

Details PDF

Variable and Value Ordering for MPE Search

with Sajjad Ahmed Siddiqi

Details PDF

IJCAI 2007

Factored Planning Using Decomposition Trees

with Elena Kelareva, Olivier Buffet, Sylvie Thiébaux

Details PDF

Hierarchical Diagnosis of Multiple Faults

with Sajjad Ahmed Siddiqi

Details PDF

The Effect of Restarts on the Efficiency of Clause Learning

Details PDF

IJCAI 2005

DPLL with a Trace: From SAT to Knowledge Compilation

with Adnan Darwiche

Details PDF

IJCAI 2003

A Structure-Based Variable Ordering Heuristic for SAT

with Adnan Darwiche

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings