Albert-Ludwigs-Universitaet Freiburg, Georges-Koehler-Allee 051, 79110 Freiburg, Germany;
Albert-Ludwigs-Universitaet Freiburg, Georges-Koehler-Allee 051, 79110 Freiburg, Germany;
Albert-Ludwigs-Universitaet Freiburg, Georges-Koehler-Allee 051, 79110 Freiburg, Germany;
机译:用加权部分MaxSAT建模与求解加权局势的调度
机译:使用部分加权maxSAT建模和求解人员调度
机译:用Quantum Annealer解决SAT(和MAXSAT):基础,编码和初步结果
机译:求解加权MaxSAT的动态多项式看门狗编码
机译:通过解耦优化和满意度求解MAXSAT
机译:使用部分加权maxSAT建模和求解人员调度
机译:Multi-MaxSAT:用拉格朗日分解和协调法求解加权Max-SAT