ADF-BDD: An ADF Solver Based on Binary Decision Diagrams.

Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner

Browse the full COMMA paper archive.