Jinbo Huang Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jinbo Huang, Jason Jingshi Li, Jochen Renz: Decomposition and tractability in qualitative spatial and temporal reasoning. Artif. Intell. 195: 140-164 (2013)
2012
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jinbo Huang: SAT vs. Search for Qualitative Temporal Reasoning. ECAI 2012: 426-431
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jinbo Huang: Implementation of Critical Path Heuristics for SAT. ECAI 2012: 907-908
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jinbo Huang: Compactness and Its Implications for Qualitative Spatial and Temporal Reasoning. KR 2012
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jinbo Huang: Search Strategy Simulation in Constraint Booleanization. KR 2012
2011
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sajjad Ahmed Siddiqi, Jinbo Huang: Sequential Diagnosis by Abstraction. J. Artif. Intell. Res. (JAIR) 41: 329-365 (2011)
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Adnan Darwiche, Jinbo Huang: The Language of Search. CoRR abs/1110.2734 (2011)
2010
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jinbo Huang: Extended clause learning. Artif. Intell. 174(15): 1277-1284 (2010)
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anika Schumann, Jinbo Huang, Martin Sachenbacher: Computing Cost-Optimal Definitely Discriminating Tests. AAAI 2010
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sajjad Ahmed Siddiqi, Jinbo Huang: New Advances in Sequential Diagnosis. KR 2010
2009
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anika Schumann, Martin Sachenbacher, Jinbo Huang: Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs. Electr. Notes Theor. Comput. Sci. 253(2): 87-99 (2009)
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anika Schumann, Martin Sachenbacher, Jinbo Huang: Constraint-Based Optimal Testing Using DNNF Graphs. CP 2009: 731-745
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jason Jingshi Li, Jinbo Huang, Jochen Renz: A Divide-and-Conquer Approach for Solving Interval Algebra Networks. IJCAI 2009: 572-577
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sajjad Ahmed Siddiqi, Jinbo Huang: Variable and Value Ordering for MPE Search. IJCAI 2009: 1964-1969
2008
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Anika Schumann, Jinbo Huang: A Scalable Jointree Algorithm for Diagnosability. AAAI 2008: 535-540
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jinbo Huang: Universal Booleanization of Constraint Models. CP 2008: 144-158
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sajjad Ahmed Siddiqi, Jinbo Huang: Probabilistic Sequential Diagnosis by Compilation. ISAIM 2008
2007
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jinbo Huang, Adnan Darwiche: The Language of Search. J. Artif. Intell. Res. (JAIR) 29: 191-219 (2007)
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jinbo Huang: A Case for Simple SAT Solvers. CP 2007: 839-846
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sajjad Ahmed Siddiqi, Jinbo Huang: Hierarchical Diagnosis of Multiple Faults. IJCAI 2007: 581-586
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Elena Kelareva, Olivier Buffet, Jinbo Huang, Sylvie Thiébaux: Factored Planning Using Decomposition Trees. IJCAI 2007: 1942-1947
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jinbo Huang: The Effect of Restarts on the Efficiency of Clause Learning. IJCAI 2007: 2318-2323
2006
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jinbo Huang, Mark Chavira, Adnan Darwiche: Solving MAP Exactly by Searching on Compiled Arithmetic Circuits. AAAI 2006: 1143-1148
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jinbo Huang: Combining Knowledge Compilation and Search for Conformant Probabilistic Planning. ICAPS 2006: 253-262
2005
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jinbo Huang, Adnan Darwiche: On Compiling System Models for Faster and More Scalable Diagnosis. AAAI 2005: 300-306
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jinbo Huang: MUP: a minimal unsatisfiability prover. ASP-DAC 2005: 432-437
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jinbo Huang, Adnan Darwiche: DPLL with a Trace: From SAT to Knowledge Compilation. IJCAI 2005: 156-162
2004
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jinbo Huang, Adnan Darwiche: Toward Good Elimination Orders for Symbolic SAT Solving. ICTAI 2004: 566-573
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jinbo Huang, Adnan Darwiche: Using DPLL for Efficient OBDD Construction. SAT 2004
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jinbo Huang, Adnan Darwiche: Using DPLL for Efficient OBDD Construction. SAT (Selected Papers 2004: 157-172
2003
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jinbo Huang, Adnan Darwiche: A Structure-Based Variable Ordering Heuristic for SAT. IJCAI 2003: 1167-1172

Coauthor Index

1Olivier Buffet
[c11]
2Mark Chavira
[c9]
3Adnan Darwiche
[i1] [j1] [c9] [c7] [c5] [c4] [c3] [c2] [c1]
4Elena Kelareva
[c11]
5Jason Jingshi Li
[j5] [c18]
6Jochen Renz
[j5] [c18]
7Martin Sachenbacher
[c21] [j2] [c19]
8Anika Schumann
[c21] [j2] [c19] [c16]
9Sajjad Ahmed Siddiqi
[j4] [c20] [c17] [c14] [c12]
10Sylvie Thiébaux
[c11]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 00:02:03 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page