跟踪最新文献需要查询的关键词
sat implication graph
Community Structure SAT Problems
SAT solver Structure
SAT Reduction 可以搜素到很多形式化与sat的文章