In the not-so-distant future, quantum computing will change the way we tackle certain
problems. It promises to dramatically speed-up many chemical, financial, cryptographical …

Quantum circuit compilation comprises many computationally hard reasoning tasks that lie
inside# P and its decision counterpart in PP. The classical simulation of universal quantum …

We are at the dawn of a new “computing age” in which quantum computers will find their
way into practical applications. Although quantum computers work differently than classical …

With quantum computers promising advantages even in the near-term NISQ era, there is a
lively community that develops software and toolkits for the design of corresponding …

Quantum computers are becoming a reality and numerous quantum computing applications
with a near-term perspective (eg, for finance, chemistry, machine learning, and optimization) …

With quantum computers on the brink of practical applicability, there is a lively community
that develops toolkits for the design of corresponding quantum circuits. Many of the …

Tensor networks have been successfully applied in simulation of quantum physical systems
for decades. Recently, they have also been employed in classical simulation of quantum …

Automated reasoning techniques have been proven of immense importance in classical
applications like formal verification, circuit design and probabilistic inference. The domain of …

Efficient methods for the representation and simulation of quantum states and quantum
operations are crucial for the optimization of quantum circuits. Decision diagrams (DDs), a …

Quantum systems provide a new way of conducting computations based on the so-called
qubits. Due to the potential for significant speed-ups, this field received significant research …