关于LPMLN程序的强等价性

摘要:LPMLN程序的强等价的研究

作者:Bin Wang, Jun Shen, Shutao Zhang, Zhizheng Zhang

论文ID:1909.03764

分类:Logic in Computer Science

分类简称:cs.LO

提交时间:2023-06-22

PDF 下载: 英文版 中文版pdf翻译中