Maximum satisfiability; Core-guided reasoning; Preprocessing; Instance transformations; Inprocessing;
机译:配置格局分析和骨干引导的本地搜索。第一部分:满意度和最大满意度
机译:对最大可满足性进行随机局部搜索的实证研究
机译:CCEHC:加权局部最大可满足性的有效局部搜索算法
机译:统一推理和核心指导搜索以实现最大满意度
机译:命题知识的推理:布尔可满足性和知识汇编的框架。
机译:在本地搜索中应用愿望可满足性
机译:统一推理和核心引导搜索最大可靠性