查看会员资料
用 户 名：n*****
发送消息- Email：用户隐藏
- Icq/MSN：
- 电话号码：
- Homepage：
- 会员简介：
最新会员发布资源
community-third-season_arabic-580864
- Function Davis Putnam(φ: CNF formula) : Boolean Unit Propagation(φ) Pure Literal Rule(φ) ifφ= φ then returntrue if□ ∈φthen returnfalse l←literal in c ∈φhaving c the minimum length RL←all possible non-tautological resolvent clauses between