TY  - RPRT
TI  - Dynamic Programming for Symbolic Boolean Realizability and Synthesis
AU  - Yi Lin
AU  - Lucas M. Tabajara
AU  - Moshe Y. Vardi
PY  - 2024
UR  - https://arxiv.org/abs/2405.07975
ID  - 2405.07975
ER  -