Knowledge Compilation for Boolean Functional Synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'S. Akshay' in GoogleThis author has not been identified. Look up 'Jatin Arora 0002' in GoogleThis author has not been identified. Look up 'Supratik Chakraborty' in GoogleThis author has not been identified. Look up 'S. Krishna' in GoogleThis author has not been identified. Look up 'Divya Raghunathan' in GoogleThis author has not been identified. Look up 'Shetal Shah' in Google

runs on WebDSL