Jie-Hong Roland Jiang

◀ ▶ joint publications with Chung-Yang Huang

> Home > Persons > Jie-Hong Roland Jiang

Publications

2021
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/WangLCWWLJH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/WangLCWWLJH21
Yu-Neng Wang, Yun-Rong Luo, Po-Chun Chien, Ping-Lun Wang, Hao-Ren Wang, Wan-Hsuan Lin, Jie-Hong Roland Jiang, Chung-Yang (Ric) Huang:
Compatible Equivalence Checking of X-Valued Circuits. ICCAD 2021: 1-9
2010
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/JiangLMH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/JiangLMH10
Jie-Hong Roland Jiang, Chih-Chun Lee, Alan Mishchenko, Chung-Yang Huang:
To SAT or Not to SAT: Scalable Exploration of Functional Dependency. IEEE Trans. Computers 59(4): 457-467 (2010)
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/WuYHJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/WuYHJ10
Bo-Han Wu, Chun-Ju Yang, Chung-Yang Huang, Jie-Hong Roland Jiang:
A robust functional ECO engine by SAT proof minimization and interpolation techniques. ICCAD 2010: 729-734
2007
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/LeeJHM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/LeeJHM07
Chih-Chun Lee, Jie-Hong Roland Jiang, Chung-Yang Huang, Alan Mishchenko:
Scalable exploration of functional dependency by interpolation and incremental SAT solving. ICCAD 2007: 227-233

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.