Search

Your search keyword '"Burgholzer, Lukas"' showing total 139 results

Search Constraints

Start Over You searched for: Author "Burgholzer, Lukas" Remove constraint Author: "Burgholzer, Lukas"
139 results on '"Burgholzer, Lukas"'

Search Results

1. Equivalence Checking of Quantum Circuits via Intermediary Matrix Product Operator

2. MQT Qudits: A Software Framework for Mixed-Dimensional Quantum Computing

3. Stripping Quantum Decision Diagrams of their Identity

4. The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing

5. An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures

6. Towards Application-Aware Quantum Circuit Compilation

7. MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing

8. Forward and Backward Constrained Bisimulations for Quantum Circuits using Decision Diagrams

9. A Hybrid Classical Quantum Computing Approach to the Satellite Mission Planning Problem

10. Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level

11. Towards Hamiltonian Simulation with Decision Diagrams

12. Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers

13. Decoding quantum color codes with MaxSAT

14. Tensor Networks or Decision Diagrams? Guidelines for Classical Quantum Circuit Simulation

15. Decision Diagrams for Quantum Computing

16. MQT QMAP: Efficient Quantum Circuit Mapping

17. The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus

18. Recommending Solution Paths for Solving Optimization Problems with Quantum Computing

19. SyReC Synthesizer: An MQT tool for synthesis of reversible circuits

20. Compiler Optimization for Quantum Computing Using Reinforcement Learning

21. Towards an Automated Framework for Realizing Quantum Computing Solutions

22. Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms

23. On Optimal Subarchitectures for Quantum Circuit Mapping

24. Predicting Good Quantum Circuit Compilation Options

25. Software Tools for Decoding Quantum Low-Density Parity Check Codes

26. Equivalence Checking of Quantum Circuits with the ZX-Calculus

27. A SAT Encoding for Optimal Clifford Circuit Synthesis

28. MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing

29. Simulation Paths for Quantum Circuit Simulation with Decision Diagrams

30. Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond

31. Limiting the Search Space in Optimal Quantum Circuit Mapping

32. Tools for Quantum Computing Based on Decision Diagrams

33. Handling Non-Unitaries in Quantum Circuit Equivalence Checking

34. Hybrid Schr\'odinger-Feynman Simulation of Quantum Circuits With Decision Diagrams

35. Efficient Construction of Functional Representations for Quantum Algorithms

36. Characteristics of Reversible Circuits for Error Detection

37. Random Stimuli Generation for the Verification of Quantum Circuits

38. Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow

39. Advanced Equivalence Checking for Quantum Circuits

40. Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations

41. Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think

Catalog

Books, media, physical & digital resources