Encoding CSPs with Zero-Suppressed Decision Diagrams.

Esben Rune Hansen

Browse the full ICTAI paper archive.