组合谜题相关硕士博士期刊学术论文

过去几十年,有许多组合谜题的计算复杂度被确定了。本文介绍了非确定性限制逻辑,并用归约为非确定性限制逻辑的方法,证明了一种类......