Akshay, S., Chakraborty, S., Goel, S., Kulal, S., & Shah, S. (2021). Boolean functional synthesis: Hardness and practical algorithms. Formal methods in system design, 57(1), 53-86. https://doi.org/10.1007/s10703-020-00352-2
Citace podle Chicago (17th ed.)Akshay, S., Supratik Chakraborty, Shubham Goel, Sumith Kulal, a Shetal Shah. "Boolean Functional Synthesis: Hardness and Practical Algorithms." Formal Methods in System Design 57, no. 1 (2021): 53-86. https://doi.org/10.1007/s10703-020-00352-2.
Citace podle MLA (9th ed.)Akshay, S., et al. "Boolean Functional Synthesis: Hardness and Practical Algorithms." Formal Methods in System Design, vol. 57, no. 1, 2021, pp. 53-86, https://doi.org/10.1007/s10703-020-00352-2.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..