ZDD Boolean Synthesis.

Yi Lin, Lucas M. Tabajara, Moshe Y. Vardi

Browse the full TACAS paper archive.