查看会员资料
用 户 名：李***
发送消息- Email：用户隐藏
- Icq/MSN：
- 电话号码：
- Homepage：
- 会员简介：
最新会员发布资源
AOMUSv0.72.tar
- 自助推理可满足性研究算法。用于求解极小不可满足子式的随即搜索算法。-Self-study reasoning algorithm can meet. For solving minimal unsatisfiable sub-formula then search algorithm.
本站作为网络服务提供者，仅为网络服务对象提供信息存储空间，仅对用户上载内容的表现方式做保护处理，对上载内容本身不做任何修改或编辑。