Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

Browsing by Author Huang, Jinbo

0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
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
02_Schumann_Computing_Cost-Optimal_2010.pdf.jpg

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-
04_Kelareva_Factored_planning_using_2007.pdf.jpg

Factored planning using decomposition trees

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

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
04_Siddiqi_Probabilistic_sequential_2008.pdf.jpg

Probabilistic sequential diagnosis by compilation

Author(s)Siddiqi, Sajjad; Huang, Jinbo
TypeConference paper
Date Published2008
Date CreatedJanuary 2-4 2008
01_Siddiqi_Sequential_Diagnosis_by_2011.pdf.jpg

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-
03_Becket_The_many_roads_leading_to_2008.pdf.jpg

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
01_Huang_Universal_Booleanization_of_2008.pdf.jpg

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