APA (7th ed.) Citation

Lin, Y., Tabajara, L. M., & Vardi, M. Y. (2024). Dynamic Programming for Symbolic Boolean Realizability and Synthesis.

Chicago Style (17th ed.) Citation

Lin, Yi, Lucas M. Tabajara, and Moshe Y. Vardi. Dynamic Programming for Symbolic Boolean Realizability and Synthesis. 2024.

MLA (9th ed.) Citation

Lin, Yi, et al. Dynamic Programming for Symbolic Boolean Realizability and Synthesis. 2024.