阿克西，S。；查克拉波蒂，苏普拉特克；舒巴姆·戈尔；苏米思·库拉尔；谢塔尔·沙阿 布尔函数综合：硬度和实用算法。 （英语） Zbl 1519.68128号 形式方法系统。设计。 57，编号1，53-86（2021）.MSC公司：60年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人，《形式方法系统》。设计。57，编号1，53--86（2021；Zbl 1519.68128） 全文： 内政部
阿克西，S。；查克拉波蒂，苏普拉特克；John，Ajith K。；谢塔尔·沙阿 走向并行布尔函数综合。 （英语） Zbl 1452.68112号 Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日，第23届国际会议，TACAS 2017，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2017，瑞典乌普萨拉。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205, 337-353 (2017).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人，Lect。注释计算。科学。10205、337--353（2017；Zbl 1452.68112） 全文： 内政部 arXiv公司