摘要： 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）配置检查策略。变元配置是指该变元的邻居的赋值情况，将变元的邻居变元真值变化纳入对该变元的考量。在每次挑选变元时，首先检查该变元自上次被翻转后配置是否发生改变，若该配置未发生为发生变化，那么本次应该避免再 阅读全文