APA (7th ed.) Citation

Shah, P., Bansal, A., Akshay, S., & Chakraborty, S. (2021, June 29). A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1-13. https://doi.org/10.1109/LICS52264.2021.9470741

Chicago Style (17th ed.) Citation

Shah, Preey, Aman Bansal, S. Akshay, and Supratik Chakraborty. "A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science 29 Jun. 2021: 1-13. https://doi.org/10.1109/LICS52264.2021.9470741.

MLA (9th ed.) Citation

Shah, Preey, et al. "A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 29 Jun. 2021, pp. 1-13, https://doi.org/10.1109/LICS52264.2021.9470741.