机译:UnitWalk:一种新的SAT求解器,使用通过单元子句消除指导的本地搜索
Steklov Institute of Mathematics at St. Petersburg, 27 Fontanka, 191023 St. Petersburg, Russia;
boolean satisfiability; local search; empirical evaluation;
机译:引导性本地搜索以解决SAT和加权MAX-SAT问题
机译:SAT的条款加权本地搜索
机译:3-SAT在RTIME中(O(1.32793 ^ n)) - 通过初始化3个条款的弦来改进随机本地搜索
机译:使用局部子句消除指导的局部搜索来解决布尔可满足性
机译:用于子句学习SAT求解器的高效算法
机译:通过工具结构解决创造性问题的功能指导搜索
机译:UnitWalk:一种新的SAT求解器,使用通过单元子句消除指导的局部搜索
机译:目标定位搜索任务中人员绩效准确性的分析引导搜索模型