Searching for authors named "Jinbo Huang" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Solving MAP Exactly by Searching on Compiled Arithmetic Circuits
- …Solving MAP Exactly by Searching on Compiled Arithmetic Circuits ∗ Jinbo Huang Logic…
- Cited by 1 (0 self) – Add To MetaCart
-
The Effect of Restarts on the Efficiency of Clause Learning
- … Huang Logic and Computation Program National ICT Australia Canberra, ACT 0200 Australia jinbo.huang…
- Cited by 9 (1 self) – Add To MetaCart
-
Hierarchical diagnosis of multiple faults
- …Hierarchical Diagnosis of Multiple Faults Sajjad Siddiqi and Jinbo Huang National ICT Australia…
- Cited by 1 (1 self) – Add To MetaCart
-
Probabilistic Sequential Diagnosis by Compilation
- … of them will correspond to the set of actual faults. Sajjad Siddiqi and Jinbo Huang National ICT Australia…
- Add To MetaCart
-
Using DPLL for efficient OBDD construction
- …Using DPLL for Efficient OBDD Construction Jinbo Huang and Adnan Darwiche Computer Science…
- Cited by 9 (2 self) – Add To MetaCart
-
Testing Equivalence Probabilistically
- …Testing Equivalence Probabilistically Adnan Darwiche and Jinbo Huang Computer Science Department…
- Cited by 4 (2 self) – Add To MetaCart
-
A Scalable Jointree Algorithm for Diagnosability ∗
- ….schumann@(email omitted); Jinbo Huang National ICT Australia and The Australian National University Canberra, ACT 0200, Australia…
- Add To MetaCart
-
Factored planning using decomposition trees
- … Melbourne, Victoria 3010 Australia e.kelareva@(email omitted); ∗ Jinbo Huang, Sylvie Thiébaux National…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 8.
