Preey Shah等人：高效布尔Skolem函数合成的规范形式表征。(2021) conf/lics/ShahBAC21 10.1109/许可证5226.4021.9470741 高效布尔Skolem函数综合的范式表征。 4 普里·沙阿 1 阿曼·班萨尔 2 S.Akshay 0001号 三 Supratik Chakraborty公司 4 1-13 许可证 许可证 2021 2021 dblp记录“conf/lics/ShahBAC21”的RDF数据的来源信息 2021-11-30 T13:29:05+0100