Configuration Checking; Local Search; SAT;
机译:具有两级配置检查和基于频率的计分功能的最小重量支配集的本地搜索
机译:一种新的本地搜索算法,用于集合 k i> k-covering问题
机译:在本地搜索中基于子句状态的配置检查是否可满足
机译:SAT本地搜索中具有愿望的配置检查
机译:SAT局部搜索算法的搜索空间结构。
机译:使用Levenberg Marquardt算法在检查点配置中进行铁磁质量定位
机译:局部搜索具有两级的最小权重支配集 配置检查和基于频率的评分功能
机译:基于petri网展开和saT的模型检测中最短违规痕迹的计算