联合开发网
首页
搜索
登录
注册
上传
管理
搜索
留言
Pudn.com
> 用户
ilikejj
发消息
关注(
0
)
积分
:251
上传文件
:1
下载次数
:3
注册日期
:2012-11-22 20:26:26
上传列表
:
SAT.rar
- SAT问题也称为合取范式的可满足问题,一个合取范式形如:A1∧A2∧…∧An,子句Ai(1≤i≤n)形如:a1∨a2∨…∨ak,其中ai为文字,为某一布尔变量或该布尔变量的非。SAT问题是指:是否存在一组对所有布尔变量的赋值(TRUE或FALSE),使得整个合取范式取指为真。,2012-11-22 20:30:54,下载14次
近期下载
:
收藏
: