摘要：一阶逻辑中具有计数量词的两变量子片段的可满足性和有限可满足性问题均属于非确定指数时间类（NEXPTIME），即使计数量词被编码得很简洁。
作者：Ian Pratt-Hartmann
论文ID：cs/0411031
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中