Concepedia

Jie-Hong R. Jiang

JR

Statistics

Publications

43

Citations

1K

H-Index

19

Active since

1998

Affiliations

National Taiwan University(Current)

University of California, Berkeley

Jie-Hong R. Jiang is an author at National Taiwan University specializing in computer science, computer engineering, and engineering.

ORCID

Publications per year

1998–2022

43

Publications

43

Unified QBF certification and its applications

Valeriy Balabanov, Jie-Hong R. Jiang · Formal Methods in System Design · 2012 · 124 citations

, , +3

Scalable don't-care-based logic optimization and resynthesis

Alan Mishchenko, Robert K. Brayton, Jie-Hong R. Jiang et al. · ACM Transactions on Reconfigurable Technology and Systems · 2011 · 91 citations

, , +16

Interpolating functions from large Boolean relations

Jie-Hong R. Jiang, Hsuan-Po Lin, Wei-Lun Hung · 2009 · 48 citations

, , +14

Scalable exploration of functional dependency by interpolation and incremental SAT solving

Chih-Chun Lee, Jie-Hong R. Jiang, Chung-Yang Huang et al. · 2007 · 46 citations

, , +14

Bi-decomposing large Boolean functions via interpolation and satisfiability solving

Ruei-Rung Lee, Jie-Hong R. Jiang, Wei-Lun Hung · 2008 · 41 citations

, , +15

1–5 of 43