%0 Conference Paper %1 conf/cav/AkshayCGKS18 %A Akshay, S. %A Chakraborty, Supratik %A Goel, Shubham %A Kulal, Sumith %A Shah, Shetal %B CAV (1) %D 2018 %E Chockler, Hana %E Weissenbacher, Georg %I Springer %K dblp %P 251-269 %T What's Hard About Boolean Functional Synthesis? %U http://dblp.uni-trier.de/db/conf/cav/cav2018-1.html#AkshayCGKS18 %V 10981 %@ 978-3-319-96145-3

@inproceedings{conf/cav/AkshayCGKS18, added-at = {2023-09-30T00:00:00.000+0200}, author = {Akshay, S. and Chakraborty, Supratik and Goel, Shubham and Kulal, Sumith and Shah, Shetal}, biburl = {https://www.bibsonomy.org/bibtex/216a69e01dc48637a5ce77ff0e2dbf96f/dblp}, booktitle = {CAV (1)}, crossref = {conf/cav/2018-1}, editor = {Chockler, Hana and Weissenbacher, Georg}, ee = {https://doi.org/10.1007/978-3-319-96145-3_14}, interhash = {f43a301cbcb7f0959d0dd94b584ac061}, intrahash = {16a69e01dc48637a5ce77ff0e2dbf96f}, isbn = {978-3-319-96145-3}, keywords = {dblp}, pages = {251-269}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:16:26.000+0200}, title = {What's Hard About Boolean Functional Synthesis?}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2018-1.html#AkshayCGKS18}, volume = 10981, year = 2018 }