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
Citace podle Chicago (17th ed.)Shah, Preey, Aman Bansal, S. Akshay, a 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.
Citace podle MLA (9th ed.)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.