蔡少伟老师于2011年提出了配置检查策略,简称CC(Configuration Checking)配置检查策略。变元配置是指该变元的邻居的赋值情况,将变元的邻居变元真值变化纳入对该变元的考量。在每次挑选变元时,首先检查该变元自上次被翻转后配置是否发生改变,若该配置未发生为发生变化,那么本次应该避免再次翻转该变元。蔡少伟将CC配置检查策略和子句加权以及平滑机制进行了混合,得到SWcc算法,取得了比T2009年随机算例组冠军NM算法更优的求解效果。