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 …

Quantum computing offers significant speedup compared to classical computing, which has
led to a growing interest among users in learning and applying quantum computing across …

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

Classical simulations of quantum computations are vital for the future development of this
emerging technology. To this end, decision diagrams have been proposed as a …

Quantum computing promises to solve some important problems faster than conventional
computations ever could. Currently available NISQ devices on which first practical …

As state-of-the-art quantum computers are capable of running increasingly complex
algorithms, the need for automated methods to design and test potential applications rises …

Simulating quantum circuits on classical computers is a notoriously hard, yet increasingly
important task for the development and testing of quantum algorithms. In order to alleviate …

With the rapid development of Quantum Machine Learning, quantum neural networks (QNN)
have experienced great advancement in the past few years, harnessing the advantages of …

This paper proposes a novel approach to Hamiltonian simulation using Decision Diagrams
(DDs), which are an exact representation based on exploiting redundancies in …

Quantum computers promise to efficiently solve important problems classical computers
never will. However, in order to capitalize on these prospects, a fully automated quantum …