ITS, University of sciences and technology BP.32-EL-ALIA Bab-Ezzouar, 16111, Algiers, Algeria;
机译:加权Max-SAT的高效求解器
机译:高效求解Max-SAT的逻辑方法
机译:MiniMaxSAT:高效的加权Max-SAT解算器
机译:最大饱和问题的高效和实验元启发式
机译:实验和非实验设置中的治疗效果的稳健和有效估计
机译:经实验感染的家禽显示印度尼西亚H5N1高致病性禽流感病毒的有效传播但持续的病毒缺乏
机译:加权Max-SAT的高效求解器