16 citations · 23 across the 6 of their papers we have counts for
6 papers
Partial Equivalence Checking of Quantum Circuits
Tian-Fu Chen, Jie-Hong R. Jiang, Min-Hsiu Hsieh
Equivalence checking of quantum circuits is an essential element in quantum program compilation, in which a quantum program can be synthesized into different quantum circuits that…
Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization
Shubham Rai, Walter Lau Neto, Yukio Miyasaka +37
Logic synthesis is a fundamental step in hardware design whose goal is to find structural representations of Boolean functions while minimizing delay and area. If the function is c…
Bit-Slicing the Hilbert Space: Scaling Up Accurate Quantum Circuit Simulation to a New Level
Yuan-Hung Tsai, Jie-Hong R. Jiang, Chiao-Shan Jhang
Quantum computing is greatly advanced in recent years and is expected to transform the computation paradigm in the near future. Quantum circuit simulation plays a key role in the t…
Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty
Nian-Ze Lee, Jie-Hong R. Jiang
Stochastic Boolean Satisfiability (SSAT) is a logical formalism to model decision problems with uncertainty, such as Partially Observable Markov Decision Process (POMDP) for verifi…
Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof
Georg Hofferek, Ashutosh Gupta, Bettina Könighofer +2
It is often difficult to correctly implement a Boolean controller for a complex system, especially when concurrency is involved. Yet, it may be easy to formally specify a controlle…
Quantum Mechanical Search and Harmonic Perturbation
Jie-Hong R. Jiang, Dah-Wei Chiou, Cheng-En Wu
Perturbation theory in quantum mechanics studies how quantum systems interact with their environmental perturbations. Harmonic perturbation is a rare special case of time-dependent…