Institut National de formation en Informatique, BP 68M, 16270, Oued Smar, Algeria;
data-mining; satisfiability; maximum-satisfiability; optimization; optimisation using bees; MBO algorithm;
机译:用于求解Max-SAT的多级协同汤普森采样超启发式方法
机译:用于求解Max-SAT的多级超启发式
机译:Ahmaxsat:分支和约束Max-SAT解算器的描述和评估
机译:使用蜜蜂解决数据挖掘问题,表示为MAX-SAT一个
机译:抗生素对蜜蜂(Apis mellifera)代谢,行为发育和相关基因表达的影响
机译:使用人工蜂菌落算法解决手术室调度问题
机译:加权Max-SAT的高效求解器