The EPFL logic synthesis libraries

M Soeken, H Riener, W Haaswijk, E Testa… - arXiv preprint arXiv …, 2018 - arxiv.org
We present a collection of modular open source C++ libraries for the development of logic
synthesis applications. These libraries can be used to develop applications for the design of …

An improved and cost reduced quantum circuit generator approach for image encoding applications

H Yetiş, M Karaköse - Quantum Information Processing, 2022 - Springer
The quantum computers in the NISQ era have a limited number of qubits and can produce
noisy results. The greater the depth of the circuits, the greater the amount of cumulative …

Efficient boolean methods for preparing uniform quantum states

F Mozafari, H Riener, M Soeken… - IEEE Transactions on …, 2021 - ieeexplore.ieee.org
As each quantum algorithm requires a specific initial quantum state, quantum state
preparation is an important task in quantum computing. The preparation of quantum states is …

A novel quantum-inspired evolutionary computation-based quantum circuit synthesis for various universal gate libraries

YH Chou, SY Kuo, YC Jiang, CH Wu, JY Shen… - Proceedings of the …, 2022 - dl.acm.org
The quantum circuit is the prime factor to realize quantum computation. This paper proposes
a novel quantum-inspired evolutionary computation method to synthesize quantum circuits …

A Quantum Optimization Algorithm for Optimal Electric Vehicle Charging Station Placement for Intercity Trips

T Radvand, A Talebpour - arXiv preprint arXiv:2410.16231, 2024 - arxiv.org
Electric vehicles (EVs) play a significant role in enhancing the sustainability of transportation
systems. However, their widespread adoption is hindered by inadequate public charging …

Boolean satisfiability in quantum compilation

M Soeken, G Meuli, B Schmitt… - … of the Royal …, 2020 - royalsocietypublishing.org
Quantum compilation is the task of translating a quantum algorithm implemented in a high-
level quantum programming language into a technology-dependent instructions flow for a …

Synthesis Techniques for Fault-tolerant Quantum Circuit Implementation using the Clifford-group

L Biswal, D Bhattacharjee, A Chakrabarti… - ACM Transactions on …, 2024 - dl.acm.org
Decoherence jeopardizes the entanglement of fragile quantum states, and is among the
foremost challenges towards engineering scalable quantum computers. Realizing quantum …

Don't-care aware ESOP extraction via reduced decomposition-tree exploration

CY Wei, JHR Jiang - 2023 60th ACM/IEEE Design Automation …, 2023 - ieeexplore.ieee.org
Exclusive-OR Sum-of-Products expressions (ESOPs) are vital for circuit synthesis of
arithmetic functions and emerging technologies. The state-of-the-art ESOP extraction …

Enumerating optimal quantum circuits using spectral classification

G Meuli, M Soeken, M Roetteler… - 2020 IEEE International …, 2020 - ieeexplore.ieee.org
This work targets fault-tolerant quantum computing and focuses on the problem of mapping
reversible circuits into the Clifford+ T quantum gate library. We present an automatically …

A framework for quantum-classical cryptographic translation

P Nimbe, BA Weyori, PK Yeng - International Journal of Theoretical …, 2021 - Springer
Quantum computing is the use of quantum-mechanical phenomena such as superposition
and entanglement to perform computation. Quantum computers are believed to be able to …