查看会员资料
用 户 名：张***
发送消息- Email：用户隐藏
- Icq/MSN：
- 电话号码：
- Homepage：
- 会员简介：
最新会员发布资源
zchaff.2004.5.13.tar
- 这是一种很好的SAT解析器。通过它，我们可以判断SAT问题是否有解，并且在有解的情况下能找到解-This is a good SAT resolver. Through it, we can determine whether the SAT problem to solve, and in the case of solvability can find solutions