机译:基于MaxSAT的Group MaxSAT编码
Univ Coll Dublin, Sch Comp Sci & Informat, Complex & Adapt Syst Lab, Dublin 4, Ireland;
Univ Coll Dublin, Sch Comp Sci & Informat, Complex & Adapt Syst Lab, Dublin 4, Ireland;
Univ Coll Dublin, Sch Comp Sci & Informat, Complex & Adapt Syst Lab, Dublin 4, Ireland;
Group MaxSAT; MaxSAT; Boolean optimization;
机译:基于MaxSAT的大型社区搜索,用于高中时间表
机译:用Quantum Annealer解决SAT(和MAXSAT):基础,编码和初步结果
机译:基于N级基于模的MaxSAT伪布尔约束的CNF编码
机译:基于MaxSAT的TREEDEPTH的后处理
机译:通过解耦优化和满意度求解MAXSAT
机译:使用部分加权maxSAT建模和求解人员调度
机译:纠正:MLIC:基于MaxSat的学习框架,用于学习可解释的分类规则