APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Akshay, S., Supratik Chakraborty, Shubham Goel, Sumith Kulal, and 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.

MLA (9th ed.) Citation

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.