Jie-Hong Roland Jiang
National Taiwan University
H-index: 27
Asia-Taiwan
Top articles of Jie-Hong Roland Jiang
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Satisfiability Modulo Theories-Based Qubit Mapping for Trapped-Ion Quantum Computing Systems | Wei-Hsiang Tseng Yao-Wen Chang Jie-Hong Roland Jiang | 2024/3/12 | |
MDGA2 Constrains Glutamatergic Inputs Selectively onto CA1 Pyramidal Neurons to Optimize Neural Circuits for Plasticity, Memory, and Social Behavior | Neuroscience Bulletin | Xuehui Wang Donghui Lin Jie Jiang Yuhua Liu Xinyan Dong | 2024/2/6 |
Boolean Matching Reversible Circuits: Algorithm and Complexity | arXiv preprint arXiv:2404.12184 | Tian-Fu Chen Jie-Hong R Jiang | 2024/4/18 |
Quantum circuit design for mixture and preparation of arbitrary pure and mixed quantum states | arXiv preprint arXiv:2403.19172 | Bo-Hung Chen Dah-Wei Chiou Jie-Hong Roland Jiang | 2024/3/28 |
Unifying Decision and Function Queries in Stochastic Boolean Satisfiability | Proceedings of the AAAI Conference on Artificial Intelligence | Yu-Wei Fan Jie-Hong R Jiang | 2024/3/24 |
SharpSSAT: a witness-generating stochastic boolean satisfiability solver | Proceedings of the AAAI Conference on Artificial Intelligence | Yu-Wei Fan Jie-Hong R Jiang | 2023/6/26 |
Lifting (D) QBF preprocessing and solving techniques to (D) SSAT | Proceedings of the AAAI Conference on Artificial Intelligence | Che Cheng Jie-Hong R Jiang | 2023/6/26 |
WolFEx: Word-Level Function Extraction and Simplification from Gate-Level Arithmetic Circuits | Kuo-Wei Ho Shao-Ting Chung Tian-Fu Chen Yu-Wei Fan Che Cheng | 2023/10/28 | |
Second-order quantified boolean logic | Proceedings of the AAAI Conference on Artificial Intelligence | Jie-Hong R Jiang | 2023/6/26 |
VanQiRA: A Vanishing-State-Based Framework for Quantum Circuit Runtime Assertion | Tian-Fu Chen Chun-Yu Wei Jie-Hong R Jiang | 2023/9/17 | |
Circuit Learning: From Decision Trees to Decision Graphs | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | Yu-Shan Huang Jie-Hong R Jiang | 2023/3/17 |
A resolution proof system for dependency stochastic boolean satisfiability | Journal of Automated Reasoning | Yun-Rong Luo Che Cheng Jie-Hong R Jiang | 2023/9 |
Don’t-care aware ESOP extraction via reduced decomposition-tree exploration | Chun-Yu Wei Jie-Hong R Jiang | 2023/7/9 | |
Encoding Probabilistic Graphical Models into Stochastic Boolean Satisfiability. | Cheng-Han Hsieh Jie-Hong R Jiang | 2022 | |
High-Precision ADC Spectrum Testing under Non-Coherent Sampling Conditions | Sensors | Xiaofei Peng Jie Li Debiao Zhang Chenjun Hu Ning Sun | 2022/10/25 |
Accurate BDD-based unitary operator manipulation for scalable and robust quantum circuit verification | Chun-Yu Wei Yuan-Hung Tsai Chiao-Shan Jhang Jie-Hong R Jiang | 2022/7/10 | |
Reconfigurable Biochemical Circuit Synthesis from Biomachine Specification | Chang-Jun Wang Jie-Hong R Jiang | 2022/10/13 | |
Research on Analog-to-Digital Converter (ADC) Dynamic Parameter Method Based on the Sinusoidal Test Signal | Electronics | Jie Jiang Jie Li Debiao Zhang Chenjun Hu Xiaofei Peng | 2022/7/6 |
Partial equivalence checking of quantum circuits | Tian-Fu Chen Jie-Hong R Jiang Min-Hsiu Hsieh | 2022/9/18 | |
Error correction method of TIADC system based on parameter estimation of identification model | Applied Sciences | Ning Sun Jie Li Debiao Zhang Chenjun Hu Xiaofei Peng | 2022/6/20 |