Author:
Akshay S.,Chakraborty Supratik,Goel Shubham,Kulal Sumith,Shah Shetal
Publisher
Springer International Publishing
Reference40 articles.
1. Website for CAV 2018 Experiments (2018). https://drive.google.com/drive/folders/0B74xgF9hCly5QXctNFpYR0VnQUU?usp=sharing
2. Akshay, S., Chakraborty, S., Goel, S., Kulal, S., Shah, S.: What’s hard for Boolean functional synthesis. arXiv e-prints (2018). https://arxiv.org/abs/1804.05507
3. Lecture Notes in Computer Science;S Akshay,2017
4. Alur, R., Madhusudan, P., Nam, W.: Symbolic computational techniques for solving games. STTT 7(2), 118–128 (2005)
5. Andersson, G., Bjesse, P., Cook, B., Hanna, Z.: A proof engine approach to solving combinational design automation problems. In: Proceedings of the 39th Annual Design Automation Conference, DAC 2002, pp. 725–730. ACM, New York (2002). https://doi.org/10.1145/513918.514101
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献