注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 2007年1月sat真题

  2. 2007年一月sat真题，绝对奉献RP！！！

  3. 所属分类：专业指导

    • 发布日期：2009-08-02
    • 文件大小：2097152
    • 提供者：yummish

  1. 2-SAT 经典讲解 ACM必备

  2. 2-SAT 经典讲解 ACM必备 2-SAT 经典讲解 ACM必备

  3. 所属分类：专业指导

    • 发布日期：2009-09-27
    • 文件大小：269312
    • 提供者：solofancy

  1. SAT资料大家看看SAT资料大家看看

  2. 资源：SAT 资源：SAT 资源：SAT 资源：SAT 资源：SAT 资源：SAT

  3. 所属分类：专业指导

    • 发布日期：2009-12-12
    • 文件大小：183296
    • 提供者：zerone_7

  1. sat格式的案例应用

  2. sat格式在abb机器人造型中的应用，这是个小的pdf

  3. 所属分类：专业指导

    • 发布日期：2010-02-03
    • 文件大小：84992
    • 提供者：liuxc16

  1. 一种求解SAT问题的新方法

  2. 一种求解SAT问题的新方法。与大家分享。一种求解SAT问题的新方法。与大家分享。

  3. 所属分类：专业指导

    • 发布日期：2010-03-21
    • 文件大小：359424
    • 提供者：weiguopan

  1. 基于寻找2-SAT子问题的SAT算法

  2. 将SAT问题化为2-SAT子问题进行求解，算法效果比UnitWalk算法高效

  3. 所属分类：其它

    • 发布日期：2010-09-04
    • 文件大小：214016
    • 提供者：uniquesole

  1. 基于DPLL的混合遗传算法求解SAT问题’

  2. 基于“聚类排序选择”优化遗传算法求解SAT问题时，引入交叉算子和变异算子，并根据适应度函数及问题本 身特性，调节阅值艿，生成新的种群聚类。这种遗传算法有效地抑制了算法的延迟收敛，从而保证了为可满足性公式能够 快速找到一个可满足性指派。同时，在遗传算法中引入了DPLL算法，对部分变元进行消解，提高了算法的求解效率。相 关的实验数据表明，本算法的性能明显优于同类算法。

  3. 所属分类：其它

    • 发布日期：2010-11-29
    • 文件大小：415744
    • 提供者：tinaxieting1016

  1. SaT為O&--帅SaT為O&--帅

  2. SaT為O&--帅SaT為O&--帅SaT為O&--帅SaT為O&--帅

  3. 所属分类：C#

    • 发布日期：2011-01-25
    • 文件大小：15360
    • 提供者：nijat110

  1. 信息学算法 2-SAT

  2. 2-SAT 感觉PPT最关键的部分写的不是很好 。

  3. 所属分类：其它

    • 发布日期：2011-03-04
    • 文件大小：187392
    • 提供者：lijian3256

  1. SAT Switchable Address Translation for Flash Memory Storages.pdf

  2. SAT Switchable Address Translation for Flash Memory Storages 论文

  3. 所属分类：其它

    • 发布日期：2011-03-15
    • 文件大小：808960
    • 提供者：liuyong1234

  1. 2-SAT解法浅析 赵爽

  2. 2-SAT解法浅析 赵爽 <>教你如何构造可行解

  3. 所属分类：专业指导

    • 发布日期：2011-05-01
    • 文件大小：183296
    • 提供者：wugj03

  1. SMS与SAT移动应用开发

  2. 本书讲述了Sim卡，SMS以及SAT入门知识，对协议阅读也给了相应的指导，很难得的资料。

  3. 所属分类：其它

    • 发布日期：2011-06-16
    • 文件大小：1048576
    • 提供者：stonewill7712

  1. 伍昱的《由对称性解2-SAT问题》

  2. 伍昱的《由对称性解2-SAT问题》。。。。。。。。。。。。。。。。。。。。。。。。。。

  3. 所属分类：C/C++

    • 发布日期：2011-09-08
    • 文件大小：269312
    • 提供者：nameless_05

  1. 赵爽的《2-SAT解法浅析》

  2. 赵爽的《2-SAT解法浅析》。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。

  3. 所属分类：C/C++

    • 发布日期：2011-09-08
    • 文件大小：183296
    • 提供者：nameless_05

  1. SAT问题求解

  2. sat problem 模拟退火算法接近Sat问题

  3. 所属分类：C

    • 发布日期：2011-09-16
    • 文件大小：10240
    • 提供者：zhougong88

  1. SAT常见写作话题

  2. 这是SAT考试作文常见题型及范例，对SAT考试有很大帮助。

  3. 所属分类：PHP

    • 发布日期：2011-10-28
    • 文件大小：137216
    • 提供者：gzy13245

  1. 2-sat 求解

  2. 2-sat在近期的比赛中出现的很多，一般会结合二分来进行出题

  3. 所属分类：C/C++

    • 发布日期：2011-11-15
    • 文件大小：47104
    • 提供者：liwei0302

  1. 关于Sat问题

  2. SAT问题也称为合取范式的可满足问题，一个合取范式形如：A1∧A2∧…∧An，子句Ai（1≤i≤n）形如：a1∨a2∨…∨ak，其中，ai称为文字，为某一布尔变量或该布尔变量的非。SAT问题是指：是否存在一组对所有布尔变量的赋值（TRUE或FALSE），使得整个合取范式取值为真。

  3. 所属分类：C/C++

    • 发布日期：2011-12-05
    • 文件大小：577536
    • 提供者：hailianren

  1. SAT文件结构

  2. SAT文件结构 文件头 1300 0 1 0 文件头 22 HOOPS-ACIS Part Viewer 14 ACIS 13.0.3 NT 24 Fri May 11 22:18:16 2007 1 9.9999999999999995e-007 1e-010 实体数据 body $-1 -1 -1 $-1 .......

  3. 所属分类：C++

    • 发布日期：2012-02-03
    • 文件大小：22528
    • 提供者：snrbjg

  1. SAT填空大全

  2. SAT考试备考

  3. 所属分类：其它

    • 发布日期：2012-03-04
    • 文件大小：514048
    • 提供者：tty2011t
« 12 3 4 5 6 7 8 9 10 ... 30 »