SAT激励的高阶消除
摘要
出版物: -
arXiv电子打印 发布日期: 2022年8月 DOI(操作界面): -
10.48550/arXiv.2208.07775 arXiv公司: -
arXiv:2208.07775 书目代码: -
2022arXiv2208077775B 关键词: -
计算机科学-计算机科学中的逻辑
电子打印: 计算机科学中的逻辑方法,第19卷,第2期(2023年5月8日)lmcs:9928