摘要：限制变量出现次数的3-SAT问题的可满足性判定是NP完全的：$(2/2/3)$-SAT问题的复杂性及其应用
作者：Arash Ahadi and Ali Dehghan
论文ID：1605.01319
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2023-06-22
PDF 下载： 英文版 中文版pdf翻译中