Jinbo Huang
Jinbo Huang
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα anu.edu.au - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
The Effect of Restarts on the Efficiency of Clause Learning.
J Huang
IJCAI 7, 2318-2323, 2007
2262007
Hierarchical Diagnosis of Multiple Faults.
SA Siddiqi, J Huang
IJCAI, 581-586, 2007
742007
MUP: A minimal unsatisfiability prover
J Huang
Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation …, 2005
692005
DPLL with a trace: From SAT to knowledge compilation
J Huang, A Darwiche
IJCAI 5, 156-162, 2005
682005
Using DPLL for efficient OBDD construction
J Huang, A Darwiche
International Conference on Theory and Applications of Satisfiability …, 2004
642004
Universal Booleanization of constraint models
J Huang
International Conference on Principles and Practice of Constraint …, 2008
612008
A structure-based variable ordering heuristic for SAT
J Huang, A Darwiche
IJCAI 3, 1167-1172, 2003
592003
The language of search
J Huang, A Darwiche
Journal of Artificial Intelligence Research 29, 191-219, 2007
542007
Solving MAP Exactly by Searching on Compiled Arithmetic Circuits.
J Huang, M Chavira, A Darwiche
AAAI 6, 3.7, 2006
482006
Factored Planning Using Decomposition Trees.
E Kelareva, O Buffet, J Huang, S Thiébaux
IJCAI, 1942-1947, 2007
472007
Compactness and Its Implications for Qualitative Spatial and Temporal Reasoning.
J Huang
KR, 2012
402012
On compiling system models for faster and more scalable diagnosis
J Huang, A Darwiche
AAAI, 300-306, 2005
392005
A case for simple SAT solvers
J Huang
International Conference on Principles and Practice of Constraint …, 2007
362007
Decomposition and tractability in qualitative spatial and temporal reasoning
J Huang, JJ Li, J Renz
Artificial Intelligence 195, 140-164, 2013
342013
Sequential diagnosis by abstraction
SA Siddiqi, J Huang
Journal of Artificial Intelligence Research 41, 329-365, 2011
332011
A Scalable Jointree Algorithm for Diagnosability.
A Schumann, J Huang
AAAI, 535-540, 2008
322008
Extended clause learning
J Huang
Artificial Intelligence 174 (15), 1277-1284, 2010
282010
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
282009
Combining Knowledge Compilation and Search for Conformant Probabilistic Planning.
J Huang
ICAPS, 253-262, 2006
232006
Toward good elimination orders for symbolic SAT solving
J Huang, A Darwiche
16th IEEE International Conference on Tools with Artificial Intelligence …, 2004
192004
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20