As bigger quantum processors with hundreds of qubits become increasingly available, the
potential for quantum computing to solve problems intractable for classical computers is …

Incremental quantum circuit simulation has emerged as an important tool for simulation-
driven quantum applications, such as circuit synthesis, verification, and analysis. When a …

In order to physically realize a robust quantum gate, a specifically tailored laser pulse needs
to be derived via strategies such as quantum optimal control. Unfortunately, such strategies …

This article presents a new compressed representation of Boolean functions, called
CFLOBDDs (for Context-Free-Language Ordered Binary Decision Diagrams). They are …

Diagonal unitary operators are well known to be key building blocks of many quantum
algorithms and quantum computing procedures, and thus resource-efficient quantum circuit …

This paper presents a new data structure, called Weighted Context-Free-Language Ordered
BDDs (WCFLOBDDs), which are a hierarchically structured decision diagram, akin to …

This paper aims to outline the effectiveness of modern universal gate quantum computers
when utilizing different configurations to solve the B-SAT (Boolean satisfiability) problem …

The simulation of quantum circuits on classical computers is an important problem in
quantum computing. Such simulation requires representations of distributions over very …

Reversible circuits have been studied extensively and intensively, and have plenty of
applications in various areas, such as digital signal processing, cryptography, and …

Interpreting the results of a quantum computer can pose a significant challenge due to
inherent noise in these mesoscopic quantum systems. Quantum measurement, a critical …