最近在写3SAT问题的算法，这个问题除了DPLL算法之外现在有没有更好的算法
精确解的话还是DPLL。local search随机瞎搞的话其实是有个比赛的，里面大部分的sat求解器都是开源的：SAT Competitions，其中有个比较通用的开源求解器MiniSat：MiniSat Page。挺快的。。。自己实现就是个坑。。。要满足尽量多clause的话有近似比为8/7的近似算法（也就是一定能至少满足7/8个clause）。
■网友
TAOCP去年这个时候正写到3-sat问题了，可以去Knuth主页里面看下，他有亲手实现过几个3-sat的经典算法，附有源代码，是很好的参考。
■网友
目前主要还是DPLL框架加上CDCL冲突驱动下的子句学习，还没有其他新的框架。不过还有另外一种是local search对于大规模的sat随机算例效果很好，不过这个框架不是精确的求解
■网友
您好，请问您有没有dp或dpll算法的程序？
推荐阅读
![[五商文化]马云都害怕他，中国电商真正的天才！狂拦18亿后为美人隐退](https://imgcdn.toutiaoyule.com/20200425/20200425050140957737a_t.jpeg)
- 怎样看待2018年深圳杯C题的1T数据
- 动态规划能得到一类问题的最优解，比如背包问题用动态规划来解决，怎样证明这个解就是相对应问题的最优解呢
- 单特征AUC是咋计算的
- 除了那些比较有名的教育机构，有啥别的国考培训班么，最好是重点批改申论题的
- 汽车|神油“超标”了？持久到你不敢信
- 现在知乎上回答问题的都是连百度都不会，只有中学毕业水平的文字工作者么
- 30岁了学编程，有意义吗
- 最近在学习计算机体系结构，也看了不少相关的书，做了些实验，有些疑惑，这门课的意义是啥有啥用
- 网络游戏 采用的是tcp协议还是udp协议
- 网站的前端服务器是啥意思，咋和后端服务器配合