A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Preey Shah, Aman Bansal, S. Akshay, Supratik Chakraborty. A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis. In 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021. pages 1-13, IEEE, 2021. [doi]

This author has not been identified. Look up 'Preey Shah' in GoogleThis author has not been identified. Look up 'Aman Bansal' in GoogleThis author has not been identified. Look up 'S. Akshay' in GoogleThis author has not been identified. Look up 'Supratik Chakraborty' in Google

runs on WebDSL