Follow
Jinbo Huang
Jinbo Huang
Verified email at anu.edu.au - Homepage
Title
Cited by
Cited by
Year
The Effect of Restarts on the Efficiency of Clause Learning.
J Huang
IJCAI 7, 2318-2323, 2007
2522007
Hierarchical Diagnosis of Multiple Faults.
SA Siddiqi, J Huang
IJCAI 7, 581-586, 2007
812007
MUP: A minimal unsatisfiability prover
J Huang
Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation …, 2005
752005
The language of search
J Huang, A Darwiche
Journal of Artificial Intelligence Research 29, 191-219, 2007
722007
DPLL with a trace: From SAT to knowledge compilation
J Huang, A Darwiche
IJCAI 5, 156-162, 2005
712005
Universal Booleanization of constraint models
J Huang
International Conference on Principles and Practice of Constraint …, 2008
692008
Using DPLL for efficient OBDD construction
J Huang, A Darwiche
International Conference on Theory and Applications of Satisfiability …, 2004
692004
A structure-based variable ordering heuristic for SAT
J Huang, A Darwiche
IJCAI 3, 1167-1172, 2003
652003
Solving MAP Exactly by Searching on Compiled Arithmetic Circuits.
J Huang, M Chavira, A Darwiche
AAAI 6, 3.7, 2006
592006
Factored planning using decomposition trees
E Kelareva, O Buffet, J Huang, S Thiébaux
Carnegie Mellon University, 2007
502007
Compactness and its implications for qualitative spatial and temporal reasoning
J Huang
Thirteenth International Conference on the Principles of Knowledge …, 2012
472012
Decomposition and tractability in qualitative spatial and temporal reasoning
J Huang, JJ Li, J Renz
Artificial Intelligence 195, 140-164, 2013
442013
A case for simple SAT solvers
J Huang
International Conference on Principles and Practice of Constraint …, 2007
412007
Sequential diagnosis by abstraction
SA Siddiqi, J Huang
Journal of Artificial Intelligence Research 41, 329-365, 2011
402011
On compiling system models for faster and more scalable diagnosis
J Huang, A Darwiche
AAAI, 300-306, 2005
402005
A Scalable Jointree Algorithm for Diagnosability.
A Schumann, J Huang
AAAI, 535-540, 2008
362008
A divide-and-conquer approach for solving interval algebra networks
JJ Li, J Huang, J Renz
21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09 …, 2009
332009
Extended clause learning
J Huang
Artificial Intelligence 174 (15), 1277-1284, 2010
322010
Combining Knowledge Compilation and Search for Conformant Probabilistic Planning.
J Huang
ICAPS, 253-262, 2006
272006
Toward good elimination orders for symbolic SAT solving
J Huang, A Darwiche
16th IEEE International Conference on Tools with Artificial Intelligence …, 2004
232004
The system can't perform the operation now. Try again later.
Articles 1–20