机译:随机本地搜索增量SAT
Department of Computer Science, University of Regina, 3737 Wascana Parkway, Regina SK, Canada, S4S 0A2;
stochastic local search; GSAT; dynamic satisfiability;
机译:SAT的系统化与本地搜索和GA技术
机译:在k-SAT上建模随机局部搜索的动力学
机译:在k-sat上建模随机局部搜索的动力学
机译:增量SAT和增量MAX-SAT的随机局部搜索
机译:SAT局部搜索算法的搜索空间结构。
机译:基于增量锦标赛局部搜索器的分布算法多目标模因估计
机译:MAX-SAT随机局部搜索算法性能背后的搜索空间特征