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

Rune Krauss, Luca Mller, Marius Marach, Rolf Drechsler

Browse the full FDL paper archive.