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
2722007
DPLL with a trace: From SAT to knowledge compilation
J Huang, A Darwiche
IJCAI 5, 156-162, 2005
872005
Hierarchical diagnosis of multiple faults
S Siddiqi, J Huang
Carnegie Mellon University, 2007
852007
The language of search
J Huang, A Darwiche
Journal of Artificial Intelligence Research 29, 191-219, 2007
842007
MUP: A minimal unsatisfiability prover
J Huang
Proceedings of the 2005 Asia and South Pacific Design Automation Conference …, 2005
822005
Using DPLL for efficient OBDD construction
J Huang, A Darwiche
International Conference on Theory and Applications of Satisfiability …, 2004
792004
A structure-based variable ordering heuristic for SAT
J Huang, A Darwiche
IJCAI 3, 1167-1172, 2003
692003
Universal Booleanization of constraint models
J Huang
International Conference on Principles and Practice of Constraint …, 2008
682008
Solving MAP Exactly by Searching on Compiled Arithmetic Circuits.
J Huang, M Chavira, A Darwiche
AAAI 6, 3.7, 2006
682006
Factored planning using decomposition trees
E Kelareva, O Buffet, J Huang, S Thiébaux
Carnegie Mellon University, 2007
512007
Compactness and its implications for qualitative spatial and temporal reasoning
J Huang
Thirteenth International Conference on the Principles of Knowledge …, 2012
502012
Decomposition and tractability in qualitative spatial and temporal reasoning
J Huang, JJ Li, J Renz
Artificial Intelligence 195, 140-164, 2013
472013
Sequential diagnosis by abstraction
SA Siddiqi, J Huang
Journal of Artificial Intelligence Research 41, 329-365, 2011
462011
A case for simple SAT solvers
J Huang
International Conference on Principles and Practice of Constraint …, 2007
452007
On compiling system models for faster and more scalable diagnosis
J Huang, A Darwiche
Proceedings Of The National Conference On Artificial Intelligence 20 (1), 300, 2005
442005
A Scalable Jointree Algorithm for Diagnosability.
A Schumann, J Huang
AAAI, 535-540, 2008
392008
Extended clause learning
J Huang
Artificial Intelligence 174 (15), 1277-1284, 2010
352010
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
352009
Combining Knowledge Compilation and Search for Conformant Probabilistic Planning.
J Huang
ICAPS, 253-262, 2006
312006
Toward good elimination orders for symbolic SAT solving
J Huang, A Darwiche
16th IEEE International Conference on Tools with Artificial Intelligence …, 2004
242004
The system can't perform the operation now. Try again later.
Articles 1–20