机译:CCEHC:加权局部最大可满足性的有效局部搜索算法
Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100190, China ,State Key Laboratory of Mathematical Engineering and Advanced Computing, Wuxi 214125, China;
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China;
College of Information Science and Technology, Jinan University, Guangzhou 510632, China ,Institute for Integrated and Intelligent Systems, Griffith University, Brisbane 4111, Australia;
Department of Material Science and Engineering, Massachusetts Institute of Technology, MA 02139, USA;
local search; weighted partial maximum satisfiability; emphasis on hard clauses;
机译:CCLS:加权最大可满足性的高效本地搜索算法
机译:加权部分最大可满足性的自动错误定位
机译:加权部分最大可满足性的自动错误定位
机译:CCEHC:一种高效的本地搜索算法,用于加权部分最大可靠性
机译:本地搜索算法和可满足性问题难度的实证分析
机译:基于局部加权偏最小二乘的缺失RRI插值算法用于精确心率变异性分析
机译:MaxSolver :(加权)最大可满足性的高效精确算法
机译:某些可满足性和线性规划问题的有效算法