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

@inproceedings{pub16071,
    author = {

Krauss, Rune
 and 

Müller, Luca
 and 

Marach, Marius
 and 

Drechsler, Rolf
},
    title = {BDD Meets SAT: Binary Hybrid Diagrams for Efficient Generation of Multiple Solutions},
    booktitle = {Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2025), September 10-12, St. Goar, Germany
},
    year = {2025}
}