Yi Lin Lucas M. Tabajara Moshe Y. Vardi ZDD Boolean Synthesis. 64-83 2022 TACAS (1) https://doi.org/10.1007/978-3-030-99524-9_4 conf/tacas/2022-1 db/conf/tacas/tacas2022-1.html#LinTV22