什么是SAT求解器？能不能详细说明一下，谢谢
答案:1 悬赏:80
解决时间 2021-02-12 01:42
- 提问者网友：我的未来我做主
- 2021-02-11 13:54
什么是SAT求解器？能不能详细说明一下，谢谢
最佳答案
- 二级知识专家网友：怙棘
- 2021-02-11 15:20
SAT求解就是可以找出满足一组CNF或SNF范式的一组变量赋值。SAT求解器就是可以完成SAT求解的程序。目前有很多著名的SAT求解器如：GRASP、Chaff、Zchaff、BerkMin和MiniSat等等。
我要举报
如以上问答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
大家都在看
推荐资讯