Boolean functional synthesis: hardness and practical algorithms
From MaRDI portal
Publication:2050108
DOI10.1007/s10703-020-00352-2MaRDI QIDQ2050108
S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah
Publication date: 30 August 2021
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-020-00352-2
68-XX: Computer science
Uses Software