机译:迭代和核心指导下的MaxSAT解决方案:调查和评估
CSI/CASL University College Dublin">(1);
CSI/CASL University College Dublin">(1);
Illinois Wesleyan University">(2);
Universitat de Lleida">(3);
CSI/CASL University College Dublin">(1);
IST/INESC-D Universidade Tecnica de Lisboa">(4);
MaxSAT; MaxSMT; Boolean optimization; Optimization problems;
机译:迭代和核心指导下的MaxSAT解决方案:调查和评估
机译:MSCG:可靠的核心引导MaxSAT解决方案
机译:MSCG:可靠的核心引导MaxSAT解决方案
机译:基于SAT的预处理对核心指导的MaxSAT求解的影响
机译:通过解耦优化和满意度求解MAXSAT
机译:使用部分加权maxSAT建模和求解人员调度
机译:MSCG:强大的核心引导的Maxsat求解
机译:分布迭代:解决板坯和XY几何中离散坐标辐射传输方程的源迭代的可靠替代方法