摘要:
WalkSATlm2013是一个随机局部搜索的典型求解器,包含了主要的求解框架和技术实现方法。下面就代码组成做解读。 第一部分:库、宏、函数指针、全局变量 //1.1 头文件 #include <iostream>#include <fstream>#include <cstdlib>#includ 阅读全文
摘要:
跟踪最新文献需要查询的关键词 sat implication graph Community Structure SAT Problems SAT solver Structure SAT Reduction 可以搜素到很多形式化与sat的文章 阅读全文
摘要:
蔡少伟老师于2011年提出了配置检查策略,简称CC(Configuration Checking)配置检查策略。变元配置是指该变元的邻居的赋值情况,将变元的邻居变元真值变化纳入对该变元的考量。在每次挑选变元时,首先检查该变元自上次被翻转后配置是否发生改变,若该配置未发生为发生变化,那么本次应该避免再 阅读全文