Folgen
Jinbo Huang
Jinbo Huang
Bestätigte E-Mail-Adresse bei anu.edu.au - Startseite
Titel
Zitiert von
Zitiert von
Jahr
The Effect of Restarts on the Efficiency of Clause Learning.
J Huang
IJCAI 7, 2318-2323, 2007
2762007
The language of search
J Huang, A Darwiche
Journal of Artificial Intelligence Research 29, 191-219, 2007
872007
DPLL with a trace: From SAT to knowledge compilation
J Huang, A Darwiche
IJCAI 5, 156-162, 2005
862005
Hierarchical diagnosis of multiple faults
S Siddiqi, J Huang
Carnegie Mellon University, 2007
852007
MUP: A minimal unsatisfiability prover
J Huang
Proceedings of the 2005 Asia and South Pacific Design Automation Conference …, 2005
832005
Using DPLL for efficient OBDD construction
J Huang, A Darwiche
International Conference on Theory and Applications of Satisfiability …, 2004
802004
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
672006
Factored Planning Using Decomposition Trees.
E Kelareva, O Buffet, J Huang, S Thiébaux
IJCAI, 1942-1947, 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
482013
Sequential diagnosis by abstraction
SA Siddiqi, J Huang
Journal of Artificial Intelligence Research 41, 329-365, 2011
462011
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
462005
A case for simple SAT solvers
J Huang
International Conference on Principles and Practice of Constraint …, 2007
442007
A Scalable Jointree Algorithm for Diagnosability.
A Schumann, J Huang
AAAI, 535-540, 2008
382008
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
362009
Extended clause learning
J Huang
Artificial Intelligence 174 (15), 1277-1284, 2010
352010
Combining Knowledge Compilation and Search for Conformant Probabilistic Planning.
J Huang
ICAPS, 253-262, 2006
342006
Toward good elimination orders for symbolic SAT solving
J Huang, A Darwiche
16th IEEE International Conference on Tools with Artificial Intelligence …, 2004
232004
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20