Factored boolean functional synthesis.

Lucas M. Tabajara, Moshe Y. Vardi

Browse the full FMCAD paper archive.