机译:SAT的系统化与本地搜索和GA技术
Propositional satisfiability; Local search; Genetic algorithms; Branch and bound;
机译:SAT的系统化与本地搜索和GA技术
机译:一种使用局部搜索启发式方法解决工业气体中库存路由问题的增量方法
机译:儿科前十字韧带重建:对软骨病的系统审查与生理备件技术
机译:增量SAT和增量MAX-SAT的随机局部搜索
机译:增量SAT和MAX-SAT近似技术的研究。
机译:超声手术刀与常规技术在胃癌患者开放胃切除术中的比较:系统评价和荟萃分析
机译:系统搜索本地搜索SAT启发式方法
机译:本土化与抽象:两种搜索减少技术的比较