"BDD-Based Boolean Functional Synthesis."

Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics