搜索资源列表
sat
- 可满足性问题（SAT),NP完全问题 并行算法 MPI-satisfiability problem(SAT) MPI,NP PROBLEM
twin_protocol
- twinprotocol sat sc used for satellite comunication kesy
RS_Agarwal_Aptitude_books-Prawinr
- this a Quantitative Aptitude book for the competitive exams as well as the exams like the GRE, GATE, CAT, SAT,GMAT and all other exams and also for the aptitude round of any JOB INTERVIEW. it covers from the basics to the complicated Aptitude questio
barars
- ,（1）一个理发店接待室有n张椅子，工作室有1张椅子； （2）没有顾客时，理发师睡觉； （3）第一个顾客来到时，必须将理发师唤醒； （4）顾客来时如果还有空座的话，他就坐在一个座位上等待； （5）如果顾客来时没有空座位了，他就离开，不理发了； （6）当理发师处理完所有顾客，而又没有新顾客来时，他又开始睡觉。用条件变量实现(3张椅子)-, (1) a barber shop reception room with n chairs, studios have a chair (2) no cus
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.
EN-1001_Ali3328F-
- EN-1001_Ali3328F For startrack sat top box or All alim3328f dvb cad for key editing
no_1014
- 浙大PAT no_1014福尔摩斯的约会。 大侦探福尔摩斯接到一张奇怪的字条：“我们约会吧！ 3485djDkxh4hhGE 2984akDfkkkkggEdsb s&hgsfdk d&Hyscvnm”。大侦探很快就明白了，字条上奇怪的乱码实际上就是约会的时间“星期四 14:04”，因为前面两字符串中第1对相同的大写英文字母（大小写有区分）是第4个字母 D ，代表星期四；第2对相同的字符是 E ，那是第5个英文字母，代表一天里的第14个钟头（于是一天的0点到23点由数字0到9、以及大写字母A
wsat
- 可满足性sat问题，使用C++语言进行编写，非常好，可以帮助初步理解-Sat satisfiability problem, use C++ written language, very good, you can help a preliminary understanding
SAT
- Code for resolving the 3-Sat problem, written in python
BladeHD_V2.2_12Jun2012
- atualizacao deco hispa sat
fix-nagra3-ku-sks-on-iks
- patch nagraVision3 kudels... (Chip ali 3606 3602 ) on sks and iks (Sat Hispasat and sats europa)-patch nagraVision3 kudels... (Chip ali 3606 3602 ) on sks and iks (Sat Hispasat and sats europa)
Sat-vs-VPaVs
- Effect of Saturation on Vp and Vs
Source_12_12_2004
- here be some descr iption about sat
约瑟夫问题
- M个人坐在一圈，开始数数，报到K或K的倍数的人出去，然后继续报数，直到最后剩下一个人，问最后剩下的人是谁？多少号？请大家自己设计算法，自己编程实现。(M sat in a circle and began to count, multiple report K or K people go out, and then continue to count off, until the last person left, who is the last person? What number? Pl
nano 13 eng
- approche hybride firefly et k-mens pour la classification des image sat
tv_channels
- Nile sat channel list
Calendar2
- 输出系统的当前时间，并以下面的格式显示： 2017年10月 Sun Mon Tue Wed Thu Fri Sat 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(The current time of the output system is displayed in the fo
Dieu khien va giam sat nha cao tang dung 89C51
- Disign building monitoring system
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)