# SAT问题
SAT问题求解
sat problem 模拟退火算法接近Sat问题
关于Sat问题
SAT问题也称为合取范式的可满足问题，一个合取范式形如：A1∧A2∧…∧An，子句Ai（1≤i≤n）形如：a1∨a2∨…∨ak，
2_sat问题课件
2sat问题的课件，讲解细致易懂！acm/icpc用
SAT问题求解工具C++实现的SAT solver
在编译原理作业中，使用C++语言实现了基于SAT问题的求解工具。专业术语如“命题逻辑”、“布尔变量”、“逆波兰表达式”等在实现中
基于寻找2_SAT子问题的SAT算法
将SAT问题化为2-SAT子问题进行求解，算法效果比UnitWalk算法高效
解决SAT问题的JAVA代码
解决SAT问题的JAVA代码，判断输入的范式是否存在可满足性。
3sat问题的benchmark
里面包含了13组数据，来测试自己的速度，数据格式里面有解释。
高性能计算实验_SAT问题.docx
SAT 问题的 DP 并行算法采用master-slaver的策略。由主进程维护一个队列,首先给所有从进程分发一个任务,然后不断
2SAT问题解法浅析
2-SAT问题浅析,论文资料。
SAT算法的应用着色问题
关于SAT算法的，SAT每年还有国际大会专门讨论，有兴趣的一定要下