S. Akshay, Jatin Arora 0002, Supratik Chakraborty, S. Krishna, Divya Raghunathan, Shetal Shah. Knowledge Compilation for Boolean Functional Synthesis. In Clark W. Barrett, Jin Yang, editors, 2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019. pages 161-169, IEEE, 2019. [doi]
Abstract is missing.