Skip to main content Skip to main navigation

Luca Müller, B.Sc.

Organizational unit Cyber-Physical Systems
Contact

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

Publications

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.

To the publication

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.

To the publication

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.

To the publication
All publications