Marius Marach

According to our database, Marius Marach authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

BDD Meets SAT: Binary Hybrid Diagrams for Efficient Generation of Multiple Solutions.

Rune Krauss, Luca Müller, Marius Marach, Rolf Drechsler

Proceedings of the Forum on Specification & Design Languages, 2025