Backbone; Extremal optimization; Maximum satisfiability problem; Phase transition;
机译:硬最大可满足性问题的骨干引导极端优化
机译:配置格局分析和骨干引导的本地搜索。第一部分:满意度和最大满意度
机译:修正的极值优化,用于解决最大的可满足性难题
机译:一种解决硬最大可靠性问题的骨干导向极值优化方法
机译:关于硬件软件应用程序的约束可满足性问题的共同优化。
机译:查找布尔可满足性问题的硬变体分区的算法及其在某些密码函数求逆中的应用
机译:配置格局分析和骨干引导的本地搜索。第一部分:满意度和最大满意度
机译:求解一类硬满意度问题的两阶段算法;软件工程部