摘要：约束满足问题的复杂性层次与有限关系结构的逻辑紧凑性假设之间存在一种对应关系的研究 Title: "约束满足问题与有限关系结构的逻辑紧凑性假设的复杂性对应关系研究"
作者：Danny Rorabaugh, Claude Tardif and David Wehlau
论文ID：1609.05221
分类：Logic
分类简称：math.LO
提交时间：2023-06-22
PDF 下载： 英文版 中文版pdf翻译中