CDN加速镜像 | 设为首页 | 加入收藏夹
当前位置: 首页 资源下载 源码下载 Windows编程 搜索资源 - sat

搜索资源列表

  1. SAT4J_JAVA

    0下载:
  2. Java版的SAT求解器,基于miniSAT-Java version of the SAT solver, based on miniSAT
  3. 所属分类:其它

    • 发布日期:2008-10-13
    • 文件大小:2.53mb
    • 提供者:baixi
  1. string_process

    0下载:
  2. 大学作业,用GCC编写的C语言程序。string处理系统。用于对string赋值,string合并和其他功能。如输入: set one \"The cat\" set two \"sat on the mat\" set sentence one + SPACE + two append sentence \" by itself.\" print sentence printwordcount sentence printwords sentence
  3. 所属分类:Windows编程

    • 发布日期:2008-10-13
    • 文件大小:2.67kb
    • 提供者:ming
  1. Calcul

    0下载:
  2. 程序实现最基本的万年历功能。 显示画面式样如下: Mon. Tues. Wed. Thurs. Fri. Sat. Sun. 1 2 3 4 5 6 7 8 9 10 11 12 13 ………… Please input year and month 画面要求说明: 1 显示某年某月的一个月内的月历。 2 周末的日期和星期标记用红色显示。 3 显示的日期右侧对齐。并且和星期也对期。 2.2 动作要求 程序默认显示20
  3. 所属分类:界面编程

    • 发布日期:2008-10-13
    • 文件大小:4.41kb
    • 提供者:xoaxiao
  1. sat

    0下载:
  2. 中国卫通设备双向终端数据采集部分协议,非常难弄到的资料.
  3. 所属分类:通讯编程

    • 发布日期:2008-10-13
    • 文件大小:155.87kb
    • 提供者:左军
  1. psoSAT

    0下载:
  2. 粒子群优化算法及其在SAT问题和多目标规划问题上的应用,优秀的硕士论文,和大家一起分享
  3. 所属分类:其它

    • 发布日期:2008-10-13
    • 文件大小:199.67kb
    • 提供者:chenjy
  1. DigitalImageProcessing

    0下载:
  2. 数字图像处理基础理论,英文资料Restoration and Enhancement Space Pictures (blurred, noisy, distorted) Computerized Tomography Coding Transmission – Teleconferencing Storage – Land SAT Images Pattern Recognition Blood Cell Analysis Remote Sensing Ro
  3. 所属分类:文件操作

    • 发布日期:2008-10-13
    • 文件大小:237.48kb
    • 提供者:谈灯花
  1. sat

    0下载:
  2. 并行程序说明:输出结果为最小生成树的边。运行:本实例中使用了5个处理器
  3. 所属分类:其它

    • 发布日期:2008-10-13
    • 文件大小:5.9kb
    • 提供者:王通
  1. cgrasp

    0下载:
  2. 有c语言编写的最基本的rsat源代码,可以供学习可满足性分析编写者使用,能够学到很多SAT方面的知识
  3. 所属分类:Windows编程

    • 发布日期:2008-10-13
    • 文件大小:156.79kb
    • 提供者:陈楷
  1. calendar日历软件

    0下载:
  2. 本程序基于命令行设计,需要完成日历表相关的以下五个基本功能: 1) 打印日历:当输入年份,输出所输入年份的每月的日历 a) 输入形式:print XXXX(一个正整数,年份) 输入值的范围:年份为正整数,命令为大小写不敏感 b) 输出形式 例:Jan. 1992 Mon. Tue. Wed. Thu. Fri. Sat. Sun. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
  3. 所属分类:Windows编程

    • 发布日期:2012-10-07
    • 文件大小:10.34kb
    • 提供者:lazzy4869
  1. GKCJ

    0下载:
  2. C语言实现的高考成绩系统.请大家指正 -C language to achieve the SAT system. Please correct me
  3. 所属分类:Windows Develop

    • 发布日期:2017-04-08
    • 文件大小:345.3kb
    • 提供者:何勇
  1. PMSat-src

    0下载:
  2. PMSat是基于MPI的并行SAT求解器-PMSat are MPI-based Parallel SAT Solver
  3. 所属分类:Windows Develop

    • 发布日期:2017-04-28
    • 文件大小:51.96kb
    • 提供者:gejuan
  1. dnl4451

    0下载:
  2. *.Sat file format for read/writen ACIS files
  3. 所属分类:File Operate

    • 发布日期:2017-05-03
    • 文件大小:774.03kb
    • 提供者:serj
  1. sat

    0下载:
  2. 可满足性问题(SAT),NP完全问题 并行算法 MPI-satisfiability problem(SAT) MPI,NP PROBLEM
  3. 所属分类:Other systems

    • 发布日期:2017-04-01
    • 文件大小:5.85kb
    • 提供者:lbo
  1. 2-SAT

    0下载:
  2. 对一个2CNF进行研究,从而找出一个算法,它能在多项式时间里判定任一给定的2 CNF公式是否可满足。 -2CNF of a study to identify an algorithm that can determine in polynomial time, any given 2 CNF formula is to meet.
  3. 所属分类:Windows Develop

    • 发布日期:2017-05-06
    • 文件大小:1.02mb
    • 提供者:小牛
  1. sat

    0下载:
  2. Reference for creating ACIS SAT File format
  3. 所属分类:Windows Develop

    • 发布日期:2017-03-24
    • 文件大小:76.15kb
    • 提供者:esu
  1. 2-sat

    0下载:
  2. 可以解决2-sat问题,时间复杂度最坏的情况下是n*n-Can solve the 2-sat problem, time complexity worst case is n* n
  3. 所属分类:Windows Develop

    • 发布日期:2017-04-13
    • 文件大小:2.37kb
    • 提供者:dudu
  1. 2-sat

    0下载:
  2. 2-sat模板,用来求解图的2-sat问题。共有两种算法,速度都很快,空间复杂度也低。-2-sat templates, used to solve the figure 2-sat problem. There were two kind of algorithm, speed, quickly, the space complexity is low also.
  3. 所属分类:Other windows programs

    • 发布日期:2017-04-08
    • 文件大小:1.98kb
    • 提供者:
  1. SAT

    1下载:
  2. Code for resolving the 3-Sat problem, written in python
  3. 所属分类:Other systems

    • 发布日期:2017-04-12
    • 文件大小:698byte
    • 提供者:Theigiche
  1. SAT-4 - Rev 6

    1下载:
  2. SCSI/ATA Translation SAT-4 - Rev 6
  3. 所属分类:其他

    • 发布日期:2018-01-09
    • 文件大小:1.26mb
    • 提供者:rrreal
  1. Desktop

    0下载:
  2. 用于求解sat可满足性问题,输入一个式子,判断是否始终满足(Solving the satisfiability problem of SAT,Enter a style to judge whether it is always satisfied)
  3. 所属分类:其他

    • 发布日期:2018-05-03
    • 文件大小:5kb
    • 提供者:srili
« 12 3 »
搜珍网 www.dssz.com