摘要:
跟踪最新文献需要查询的关键词 sat implication graph Community Structure SAT Problems SAT solver Structure SAT Reduction 可以搜素到很多形式化与sat的文章 阅读全文
摘要:
蔡少伟老师于2011年提出了配置检查策略,简称CC(Configuration Checking)配置检查策略。变元配置是指该变元的邻居的赋值情况,将变元的邻居变元真值变化纳入对该变元的考量。在每次挑选变元时,首先检查该变元自上次被翻转后配置是否发生改变,若该配置未发生为发生变化,那么本次应该避免再 阅读全文