摘要：一种用于解决具有位向量算术的逻辑约束项重写系统的新型依赖对处理器的提议
作者：Ayuka Matsumi, Naoki Nishida, Misaki Kojima, and Donghoon Shin
论文ID：2307.14094
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-27
PDF 下载： 英文版 中文版pdf翻译中