DEC Systems Research Center 130 Lytton Ave Palo Alto CA;
Department of Mathematics Carnegie-Mellon University;
IBM Ahnaden Research Center San Jose CA;
机译:固定密度随机3-CNF实例的Horn分数,可满足性和求解器性能之间的相关性
机译:关于随机公式的最大可满足性
机译:配置格局分析和骨干引导的本地搜索。第一部分:满意度和最大满意度
机译:随机构造的高密度可满足3-CNF公式的进化算法的运行时分析
机译:随机机器上可满足性和相关问题的时空下限。
机译:线性规划研究随机可满足性问题的典型算法复杂度的相变
机译:运行时分析$(1 +(\ lambda,\ lambda))$遗传算法 随机满足的3-CNF公式