Skip navigation
Skip navigation

Browsing by Author Huang, Jinbo

Or enter first few letters:  
Showing results 1 to 20 of 20

A case for simple SAT solvers

Author(s)Huang, Jinbo
TypeConference paper
Date Published2007
Date CreatedSeptember 23-27 2007

A divide-and-conquer approach for solving interval algebra networks

Author(s)Li, Jason; Huang, Jinbo; Renz, Jochen
TypeConference paper
Date Published2009
Date CreatedJuly 11-17 2009

A scalable jointree algorithm for diagnosability

Author(s)Schumann, A.; Huang, Jinbo
TypeConference paper
Date Published2008
Date CreatedJuly 13-17 2008

Combining knowledge compilation and search for conformant probabilistic planning

Author(s)Huang, Jinbo
TypeConference paper
Date Published2006
Date CreatedJune 6-10 2005

Computing Cost-Optimal Definitely Discriminating Tests

Author(s)Schumann, Anika; Huang, Jinbo; Sachenbacher, Martin
TypeConference paper
Date Published2010
Date CreatedJuly 11 2010

Computing optimal tests for non-deterministic systems using DNNF graphs

Author(s)Schumann, Anika; Sachenbacher, Martin; Huang, Jinbo
TypeConference paper
Date Published2009
Date CreatedMarch 22 2009

Constraint-based optimal testing using DNNF graphs

Author(s)Schumann, Anika; Sachenbacher, Martin; Huang, Jinbo
TypeBook chapter
Date Published2009
Date Created-

Decomposition and tractability in qualitative spatial and temporal reasoning

Author(s)Huang, Jinbo; Li, Jingshi (Jason); Renz, Jochen
TypeJournal article
Date Published2012
Date Created-

Extended clause learning

Author(s)Huang, Jinbo
TypeJournal article
Date Published2010
Date Created-

Factored planning using decomposition trees

Author(s)Kelareva, Elena; Buffet, Olivier; Huang, Jinbo, et al
TypeConference paper
Date Published2007
Date CreatedJanuary 6-12 2007

Hierarchical diagnosis of multiple faults

Author(s)Siddiqi, Sajjad; Huang, Jinbo
TypeConference paper
Date Published2007
Date CreatedJanuary 6-12 2007

New Advances in Sequential Diagnosis

Author(s)Siddiqi, Sajjad; Huang, Jinbo
TypeConference paper
Date Published2010
Date CreatedMay 9-13 2010

Probabilistic sequential diagnosis by compilation

Author(s)Siddiqi, Sajjad; Huang, Jinbo
TypeConference paper
Date Published2008
Date CreatedJanuary 2-4 2008

Sequential Diagnosis by Abstraction

Author(s)Siddiqi, Sajjad; Huang, Jinbo
TypeJournal article
Date Published2011
Date Created-

Solving MAP exactly by searching on compiled arithmetic circuits

Author(s)Huang, Jinbo; Chavira, Mark W; Darwiche, Adnan
TypeConference paper
Date Published2006
Date CreatedJuly 16-20 2006

The effect of restarts on the efficiency of clause learning

Author(s)Huang, Jinbo
TypeConference paper
Date Published2007
Date CreatedJanuary 6-12 2007

The language of search

Author(s)Huang, Jinbo; Darwiche, Adnan
TypeJournal article
Date Published2007
Date Created-

The many roads leading to Rome: Solving zinc models by various solvers

Author(s)Becket, Ralph; Brand, Sebastian; Brown, Mark, et al
TypeConference paper
Date Published2008
Date CreatedSeptember 15 2008

Universal Booleanization of constraint models

Author(s)Huang, Jinbo
TypeConference paper
Date Published2008
Date CreatedSeptember 14-18 2008

Variable and Value Ordering for MPE Search

Author(s)Siddiqi, Sajjad; Huang, Jinbo
TypeConference paper
Date Published2009
Date CreatedJuly 11-17 2009
  • previous
  • 1
  • next

Updated:  12 April 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator