Found 2 Documents (Results 1–2)
What’s hard about Boolean functional synthesis? (English) Zbl 1511.68146
Chockler, Hana (ed.) et al., Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Part I. Cham: Springer Open. Lect. Notes Comput. Sci. 10981, 251-269 (2018).
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
Author
- Akshay, S. (2)
- Chakraborty, Supratik (2)
- Goel, Shubham (2)
- Kulal, Sumith (2)
- Shah, Shetal (2)
Main Field
- 68-XX (2)