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.
