...
机译:在后门的复杂性与可满足性之间进行权衡:动态子解决方案和搜索过程中的学习
College of Computing, Georgia Institute of Technology, Atlanta, GA 30332, USA;
Department of Computer Science, Cornell University, Ithaca, NY 14853, USA;
IBM Watson Research Center, Yorktown Heights, NY 10598, USA;
Boolean satisfiability; Backdoor sets; Horn RHorn; Clause learning; Search;
机译:证明复杂性的严格阈值会产生可满足性搜索的下限
机译:通过波动解决可满足性问题:随机局部搜索算法的动力学-艺术。没有。 066104
机译:识别率,搜索和内存复杂性的权衡:基本限制
机译:后门检测复杂度的权衡
机译:可满足性问题的指数复杂性。
机译:线性规划研究随机可满足性问题的典型算法复杂度的相变
机译:后门检测复杂性的权衡
机译:广义的CNF可满足性,局部减少和简明扼要的问题的复杂性