The EPFL logic synthesis libraries
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 …
synthesis applications. These libraries can be used to develop applications for the design of …
A concept of controlling Grover diffusion operator: A new approach to solve arbitrary Boolean-based problems
A Al-Bayaty, M Perkowski - Scientific Reports, 2024 - nature.com
A controlled-diffusion operator for Boolean oracles is designed as a new approach for
Grover's algorithm to search for solutions for arbitrary logical structures of such oracles …
Grover's algorithm to search for solutions for arbitrary logical structures of such oracles …
Amplitude amplification-inspired QAOA: Improving the success probability for solving 3SAT
A Mandl, J Barzen, M Bechtold… - Quantum Science and …, 2024 - iopscience.iop.org
The Boolean satisfiability problem (SAT), in particular 3SAT with its bounded clause size, is
a well-studied problem since a wide range of decision problems can be reduced to it. The …
a well-studied problem since a wide range of decision problems can be reduced to it. The …
CALA-: A Quantum Library for Realizing Cost-Effective 2-, 3-, 4-, and 5-bit Gates on IBM Quantum Computers using Bloch Sphere Approach, Clifford+T Gates, and …
A Al-Bayaty, X Song, M Perkowski - arXiv preprint arXiv:2408.01025, 2024 - arxiv.org
We introduce a new quantum layout-aware approach to realize cost-effective $ n $-bit gates
using the Bloch sphere, for $2\le n\le 5$ qubits. These $ n $-bit gates are entirely …
using the Bloch sphere, for $2\le n\le 5$ qubits. These $ n $-bit gates are entirely …
GALA-n: Generic Architecture of Layout-Aware n-Bit Quantum Operators for Cost-Effective Realization on IBM Quantum Computers
A Al-Bayaty, M Perkowski - arXiv preprint arXiv:2311.06760, 2023 - arxiv.org
A generic architecture of n-bit quantum operators is proposed for cost-effective transpilation,
based on the layouts and the number of n neighbor physical qubits for IBM quantum …
based on the layouts and the number of n neighbor physical qubits for IBM quantum …
p-SWAP: A Generic Cost-Effective Quantum Boolean-Phase SWAP Gate Using Two CNOT Gates and the Bloch Sphere Approach
A Al-Bayaty, M Perkowski - arXiv preprint arXiv:2410.16641, 2024 - arxiv.org
A generic Boolean-phase SWAP gate is introduced for quantum cost-effectiveness. This
gate is termed the" p-SWAP", and p is a customizable phase difference between the …
gate is termed the" p-SWAP", and p is a customizable phase difference between the …
A Quantum Method to Match Vector Boolean Functions using Simon's Solver
The Boolean Matching Problem is a fundamental step in modern Electronic Design
Automation toolchains, which allow the efficient design of large classical computers. In …
Automation toolchains, which allow the efficient design of large classical computers. In …