197 citations · 850 across the 38 of their papers we have counts for
8 papers · 2 filters
MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing
Nils Quetschlich, Lukas Burgholzer, Robert Wille
Fueled by recent accomplishments in quantum computing hardware and software, an increasing number of problems from various application domains are being explored as potential use c…
Forward and Backward Constrained Bisimulations for Quantum Circuits using Decision Diagrams
Lukas Burgholzer, Antonio Jiménez-Pastor, Kim G. Larsen +3
Efficient methods for the simulation of quantum circuits on classic computers are crucial for their analysis due to the exponential growth of the problem size with the number of qu…
A Hybrid Classical Quantum Computing Approach to the Satellite Mission Planning Problem
Nils Quetschlich, Vincent Koch, Lukas Burgholzer +1
Hundreds of satellites equipped with cameras orbit the Earth to capture images from locations for various purposes. Since the field of view of the cameras is usually very narrow, t…
Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers
Tom Peham, Nina Brandl, Richard Kueng +2
Circuit synthesis is the task of decomposing a given logical functionality into a sequence of elementary gates. It is (depth-)optimal if it is impossible to achieve the desired fun…
Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level
Nils Quetschlich, Lukas Burgholzer, Robert Wille
In order to implement a quantum computing application, problem instances must be encoded into a quantum circuit and then compiled for a specific platform. The lengthy compilation p…
Decoding quantum color codes with MaxSAT
Lucas Berent, Lukas Burgholzer, Peter-Jan H. S. Derks +2
In classical computing, error-correcting codes are well established and are ubiquitous both in theory and practical applications. For quantum computing, error-correction is essenti…
Tensor Networks or Decision Diagrams? Guidelines for Classical Quantum Circuit Simulation
Lukas Burgholzer, Alexander Ploier, Robert Wille
Classically simulating quantum circuits is crucial when developing or testing quantum algorithms. Due to the underlying exponential complexity, efficient data structures are key fo…
MQT QMAP: Efficient Quantum Circuit Mapping
Robert Wille, Lukas Burgholzer
Quantum computing is an emerging technology that has the potential to revolutionize fields such as cryptography, machine learning, optimization, and quantum simulation. However, a…