摘要：生成满足赋值搜索问题的困难实例算法：基于中国剩余定理和整数因子分解问题，我们提出了一种有效地将整数因子分解问题实例转化为满足赋值搜索问题实例的算法。例如，我们可以构建出大约5600个变量的满足赋值搜索问题实例，与分解100位整数的难度相当。
作者：Satoshi Horie and Osamu Watanabe
论文ID：cs/9809117
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中