Skip to main content Skip to main navigation

Luca Müller, B.Sc.

Organisationseinheit Cyber-Physical Systems
Kontakt

Adresse (Bremen) Mehrzweckhochhaus (MZH)Bibliothekstraße 5D-28359 Bremen

Publikationen

SAT can Ensure Polynomial Bounds for the Verification of Circuits with Limited Cutwidth

Luca Müller; Rolf Drechsler

In: 27th Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2024), August 28-30, Paris, France, 2024.

Zur Publikation

SAT can Ensure Polynomial Bounds for the Verification of Circuits with Limited Cutwidth

Luca Müller; Rolf Drechsler

In: 16th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-2024), September 19-20, Bremen, Germany, 2024.

Zur Publikation

Combining SWAPs and Remote CNOT Gates for Quantum Circuit Transformation

Philipp Niemann; Luca Müller; Rolf Drechsler

In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2021), September 1-3, Palermo/Virtual, Italy, 2021.

Zur Publikation
Alle Publikationen