The design of new devices and experiments has historically relied on the intuition of human
experts. Now, design inspirations from computers are increasingly augmenting the capability …

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 …

Satisfiability Testing (SAT) techniques are well-established in classical computing where
they are used to solve a broad variety of problems, eg, in the design of classical circuits and …

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

Quantum computing is gaining considerable momentum through the recent progress in
physical realizations of quantum computers. This led to rather sophisticated design flows in …

We study the fundamental design automation problem of equivalence checking in the NISQ
(Noisy Intermediate-Scale Quantum) computing realm where quantum noise is present …

Quantum circuit verification is essential, ensuring that quantum program compilation yields a
sequence of primitive unitary operators executable correctly and reliably on a quantum …

Abstract Logic Artificial Intelligence (AI) is a subfield of AI where variables can take two
defined arguments, True or False, and are arranged in clauses that follow the rules of formal …

Checking whether two quantum circuits are equivalent is important for the design and
optimization of quantum-computer applications with real-world devices. We consider …

The rapid rate of progress in the physical realization of quantum computers sparked the
development of elaborate design flows for quantum computations on such devices. Each …