Publisher
Springer Nature Switzerland
Reference28 articles.
1. Akshay, S., Arora, J., Chakraborty, S., Krishna, S., Raghunathan, D., Shah, S.: Knowledge compilation for Boolean functional synthesis. In: Proceedings of Formal Methods in Computer Aided Design (FMCAD), pp. 161–169 (2019)
2. Akshay, S., Chakraborty, S.: Synthesizing Skolem functions: a view from theory and practice. In: Sarukkai, S., Chakraborty, M. (eds.) Handbook of Logical Thought in India, pp. 1–36. Springer, New Delhi (2020)
3. Akshay, S., Chakraborty, S., Goel, S., Kulal, S., Shah, S.: Boolean functional synthesis: hardness and practical algorithms. Formal Methods Syst. Des. 57(1), 53–86 (2020). https://doi.org/10.1007/s10703-020-00352-2
4. Akshay, S., Chakraborty, S., Goel, S., Kulal, S., Shah, S.: What’s hard about Boolean functional synthesis? In: Proceedings of CAV 2018, pp. 251–269 (2018)
5. Lecture Notes in Computer Science;S Akshay,2017