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