backtracking search algorithm; conjunctive normal form (CNF); heuristic strategy; satisfiability degree;
机译:回溯搜索算法中的随机回溯以提高满意度
机译:回溯搜索可满足性算法概述
机译:使用回溯算法解决随机可满足性问题的计算复杂度的统计物理分析
机译:回溯搜索算法可满足程度计算
机译:本地搜索算法和可满足性问题难度的实证分析
机译:回溯搜索优化算法与其对应算法相比的统计分析和性能评估数据集
机译:回溯搜索算法中的随机回溯以提高满意度