Luca Müller, M.Sc.

Contact

Address (Bremen) Mehrzweckhochhaus (MZH)Bibliothekstraße 528359 Bremen

Publications

BDD Meets SAT: Binary Hybrid Diagrams for Efficient Generation of Multiple Solutions
Rune Krauss; Luca Müller; Marius Marach; Rolf Drechsler
In: Forum on Specification, Verification and Design Languages (FDL). Forum on Specification & Design Languages (FDL-2025), September 9-12, Schloß Rheinfels, St. Goar, Germany, 2025.
BDD Meets SAT: Binary Hybrid Diagrams for Efficient Generation of Multiple Solutions
Rune Krauss; Luca Müller; Marius Marach; Rolf Drechsler
In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2025), September 10-12, St. Goar, Germany, 2025.
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.