%0 Journal Article %1 journals/fmsd/AkshayCGKS21 %A Akshay, S. %A Chakraborty, Supratik %A Goel, Shubham %A Kulal, Sumith %A Shah, Shetal %D 2021 %J Formal Methods Syst. Des. %K dblp %N 1 %P 53-86 %T Boolean functional synthesis: hardness and practical algorithms. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd57.html#AkshayCGKS21 %V 57

@article{journals/fmsd/AkshayCGKS21, added-at = {2021-11-30T00:00:00.000+0100}, author = {Akshay, S. and Chakraborty, Supratik and Goel, Shubham and Kulal, Sumith and Shah, Shetal}, biburl = {https://www.bibsonomy.org/bibtex/2b4d51b0dc4876209fb181f72319f31f3/dblp}, ee = {https://doi.org/10.1007/s10703-020-00352-2}, interhash = {3236ec311a6650a393484265439dcd73}, intrahash = {b4d51b0dc4876209fb181f72319f31f3}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 1, pages = {53-86}, timestamp = {2024-04-08T17:15:08.000+0200}, title = {Boolean functional synthesis: hardness and practical algorithms.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd57.html#AkshayCGKS21}, volume = 57, year = 2021 }