| The Effect of Restarts on the Efficiency of Clause Learning. J Huang IJCAI 7, 2318-2323, 2007 | 276 | 2007 |
| The language of search J Huang, A Darwiche Journal of Artificial Intelligence Research 29, 191-219, 2007 | 87 | 2007 |
| DPLL with a trace: From SAT to knowledge compilation J Huang, A Darwiche IJCAI 5, 156-162, 2005 | 86 | 2005 |
| Hierarchical diagnosis of multiple faults S Siddiqi, J Huang Carnegie Mellon University, 2007 | 85 | 2007 |
| MUP: A minimal unsatisfiability prover J Huang Proceedings of the 2005 Asia and South Pacific Design Automation Conference …, 2005 | 83 | 2005 |
| Using DPLL for efficient OBDD construction J Huang, A Darwiche International Conference on Theory and Applications of Satisfiability …, 2004 | 80 | 2004 |
| A structure-based variable ordering heuristic for SAT J Huang, A Darwiche IJCAI 3, 1167-1172, 2003 | 69 | 2003 |
| Universal Booleanization of constraint models J Huang International Conference on Principles and Practice of Constraint …, 2008 | 68 | 2008 |
| Solving MAP Exactly by Searching on Compiled Arithmetic Circuits. J Huang, M Chavira, A Darwiche AAAI 6, 3.7, 2006 | 67 | 2006 |
| Factored Planning Using Decomposition Trees. E Kelareva, O Buffet, J Huang, S Thiébaux IJCAI, 1942-1947, 2007 | 51 | 2007 |
| Compactness and its implications for qualitative spatial and temporal reasoning J Huang Thirteenth International Conference on the Principles of Knowledge …, 2012 | 50 | 2012 |
| Decomposition and tractability in qualitative spatial and temporal reasoning J Huang, JJ Li, J Renz Artificial Intelligence 195, 140-164, 2013 | 48 | 2013 |
| Sequential diagnosis by abstraction SA Siddiqi, J Huang Journal of Artificial Intelligence Research 41, 329-365, 2011 | 46 | 2011 |
| 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 | 46 | 2005 |
| A case for simple SAT solvers J Huang International Conference on Principles and Practice of Constraint …, 2007 | 44 | 2007 |
| A Scalable Jointree Algorithm for Diagnosability. A Schumann, J Huang AAAI, 535-540, 2008 | 38 | 2008 |
| 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 | 36 | 2009 |
| Extended clause learning J Huang Artificial Intelligence 174 (15), 1277-1284, 2010 | 35 | 2010 |
| Combining Knowledge Compilation and Search for Conformant Probabilistic Planning. J Huang ICAPS, 253-262, 2006 | 34 | 2006 |
| Toward good elimination orders for symbolic SAT solving J Huang, A Darwiche 16th IEEE International Conference on Tools with Artificial Intelligence …, 2004 | 23 | 2004 |
