搜索资源列表
SAT4J_JAVA
- Java版的SAT求解器,基于miniSAT-Java version of the SAT solver, based on miniSAT
string_process
- 大学作业,用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
Calcul
- 程序实现最基本的万年历功能。 显示画面式样如下: 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
sat
- 中国卫通设备双向终端数据采集部分协议,非常难弄到的资料.
psoSAT
- 粒子群优化算法及其在SAT问题和多目标规划问题上的应用,优秀的硕士论文,和大家一起分享
DigitalImageProcessing
- 数字图像处理基础理论,英文资料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
sat
- 并行程序说明:输出结果为最小生成树的边。运行:本实例中使用了5个处理器
cgrasp
- 有c语言编写的最基本的rsat源代码,可以供学习可满足性分析编写者使用,能够学到很多SAT方面的知识
calendar日历软件
- 本程序基于命令行设计,需要完成日历表相关的以下五个基本功能: 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
GKCJ
- C语言实现的高考成绩系统.请大家指正 -C language to achieve the SAT system. Please correct me
PMSat-src
- PMSat是基于MPI的并行SAT求解器-PMSat are MPI-based Parallel SAT Solver
dnl4451
- *.Sat file format for read/writen ACIS files
sat
- 可满足性问题(SAT),NP完全问题 并行算法 MPI-satisfiability problem(SAT) MPI,NP PROBLEM
2-SAT
- 对一个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.
sat
- Reference for creating ACIS SAT File format
2-sat
- 可以解决2-sat问题,时间复杂度最坏的情况下是n*n-Can solve the 2-sat problem, time complexity worst case is n* n
2-sat
- 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.
SAT
- Code for resolving the 3-Sat problem, written in python
SAT-4 - Rev 6
- SCSI/ATA Translation SAT-4 - Rev 6
Desktop
- 用于求解sat可满足性问题,输入一个式子,判断是否始终满足(Solving the satisfiability problem of SAT,Enter a style to judge whether it is always satisfied)