| 臺大學術典藏 |
2021-09-02T00:05:33Z |
Symbolic gas vulnerability detection and attack synthesis
|
Peng M.H;Yu F;Jiang J.H.R.; Peng M.H; Yu F; Jiang J.H.R.; JIE-HONG JIANG |
| 臺大學術典藏 |
2021-09-02T00:05:32Z |
Circuit learning for logic regression on high dimensional boolean space
|
Chen P.-W;Huang Y.-C;Lee C.-L;Jiang J.-H.R.; Chen P.-W; Huang Y.-C; Lee C.-L; Jiang J.-H.R.; JIE-HONG JIANG |
| 臺大學術典藏 |
2021-09-02T00:05:32Z |
Constraint Solving for Synthesis and Verification of Threshold Logic Circuits
|
Lee N.-Z;Jiang J.-H.R.; Lee N.-Z; Jiang J.-H.R.; JIE-HONG JIANG |
| 臺大學術典藏 |
2021-09-02T00:05:32Z |
Mining Biochemical Circuits from Enzyme Databases via Boolean Reasoning
|
Lin Y.-C;Jiang J.-H.R.; Lin Y.-C; Jiang J.-H.R.; JIE-HONG JIANG |
| 臺大學術典藏 |
2021-09-02T00:05:32Z |
Homing Sequence Derivation with Quantified Boolean Satisfiability
|
Tu K;Wang H;Jiang J.R;Kushik N;Yevtushenko N.; Tu K; Wang H; Jiang J.R; Kushik N; Yevtushenko N.; JIE-HONG JIANG |
| 臺大學術典藏 |
2020-06-11T06:11:17Z |
Disjoint-support decomposition and extraction for interconnect-driven threshold logic synthesis
|
Chen, H.;Hung, S.-C.;Jiang, J.-H.R.; Chen, H.; Hung, S.-C.; Jiang, J.-H.R.; JIE-HONG JIANG |
| 臺大學術典藏 |
2020-06-11T06:11:17Z |
Comprehensive search for ECO rectification using symbolic sampling
|
Kravets, V.N.;Lee, N.-Z.;Jiang, J.-H.R.; Kravets, V.N.; Lee, N.-Z.; Jiang, J.-H.R.; JIE-HONG JIANG |
| 臺大學術典藏 |
2020-06-11T06:11:17Z |
A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving.
|
Scholl, Christoph;Jiang, Jie-Hong Roland;Wimmer, Ralf;Ge-Ernst, Aile; Scholl, Christoph; Jiang, Jie-Hong Roland; Wimmer, Ralf; Ge-Ernst, Aile; JIE-HONG JIANG |
| 臺大學術典藏 |
2020-06-11T06:11:16Z |
Synthesis of PCHB-WCHB Hybrid Quasi-Delay Insensitive Circuits.
|
Chuang, Chi-Chuan;Lai, Yi-Hsiang;Jiang, Jie-Hong R.; Chuang, Chi-Chuan; Lai, Yi-Hsiang; Jiang, Jie-Hong R.; JIE-HONG JIANG |
| 臺大學術典藏 |
2020-06-11T06:11:15Z |
Automatic test pattern generation for delay defects using timed characteristic functions.
|
Ho, Shin-Yann;Lin, Shuo-Ren;Yuan, Ko-Lung;Kuo, Chien-Yen;Liao, Kuan-Yu;Jiang, Jie-Hong R.;Li, Chien-Mo James; Ho, Shin-Yann; Lin, Shuo-Ren; Yuan, Ko-Lung; Kuo, Chien-Yen; Liao, Kuan-Yu; Jiang, Jie-Hong R.; Li, Chien-Mo James; JIE-HONG JIANG |
