Concepedia

Jinbo Huang

JH

Statistics

Publications

22

Citations

822

H-Index

19

Active since

2003

Affiliations

Data61(Current)

Australian National University

University of California, Los Angeles

Nanjing University of Science and Technology

Guizhou Electromechanical Research and Design Institute

Jinbo Huang is an author at Data61 specializing in computing, computer science, and knowledge representation.

ORCID

Publications per year

2003–2023

22

Publications

22

The effect of restarts on the efficiency of clause learning

Jinbo Huang · ANU Open Research (Australian National University) · 2007 · 138 citations

, , +11

Hierarchical diagnosis of multiple faults

Sajjad Siddiqi, Jinbo Huang · ANU Open Research (Australian National University) · 2007 · 60 citations · Full text

, , +14

MUP

Jinbo Huang · 2005 · 53 citations

, , +14

DPLL with a trace: from SAT to knowledge compilation

Jinbo Huang, Adnan Darwiche · Physical review. B, Condensed matter · 2005 · 49 citations

, , +14

A structure-based variable ordering heuristic for SAT

Jinbo Huang, Adnan Darwiche · 2003 · 48 citations

, , +14

1–5 of 22