Location:
Search - 3 sat
Search list
Description: 1.这个计算器可用在离散数学的数理逻辑中，纯属工具，随意传播，由java语言实现,解压即可运行，需要按照java环境。可以去这里下载运行环境：http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入，也可用相应的按钮输入，变元只能是PQRST。由于等价连接词无法识别，所以用等号代替，这也是一个无奈的选择。 4.计算前请选择变元个数（默认为3元）并对变元赋值。变元个数最高为5，基本能满足日常的计算。 5.计算器有自动检查表达式是否正确的功能，如果判断功能有误，麻烦您告诉我您的表达式。-1. The calculator can be used in discrete mathematics mathematical logic and is purely tools, and they spread by java language, can extract operation, in accordance with the needs of java environment. Go here to download operating environment : http : / / www.skycn.com/soft/3116.html 2. The calculator can or count the value of the expression logic, truth table corresponding to the main disjunctive, with the main SAT. 3. Importation of expression can be imported in the expression column, also available in the corresponding button input variables can only be PQRST. As conjunction equivalence can not be identified, and so synonymous substitution, this is a helpless choice. 4. Please choose before calculating variable number (default 3 million) as well as variable assignment. Arguments for the
Platform: |
Size: 7118830 |
Author: vintoak |
Hits:
Description: 大学作业，用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
printlength sentence
list
exit
得到如下结果：
The cat sat on the mat by itself.
Wordcount is: 8
Words are:
The
cat
sat
on
the
mat
by
itself.
Length is: 33
Identifier list (3):
one: \"The cat\"
two: \"sat on the mat\"
sentence: \"The cat sat on the mat by itself.\"
-University of operations, prepared by the GCC using C language program. String processing system. Assignment for the right string, string mergers and other functions. If input : set one, "The cat" set two "sat on the mat" set sent ence one SPACE two append sentence "by itself." print print sentence printwordcount sentence words sentence printlength sentence exit list The results are as follows : The cat sat on the mat by itself. Wordcount is : 8 Words are : The cat sat on the mat by itself. Length is : 33 Identifier list (3) : one : "The cat" two : "sat on the mat" sentence : "The cat sat on the mat by itself."
Platform: |
Size: 2731 |
Author: ming |
Hits:
Description: Embest S3C44B0X Evaluation Board
RTC Test Example
RTC Check(Y/N)? y
Set Default Time at 2004-12-31 FRI 23:59:59
Set Alarm Time at 2005-01-01 00:00:01
... RTC Alarm Interrupt O.K. ...
Current Time is 2005-01-01 SAT
00:00:01
RTC Working now. To set date(Y/N)? y
Current date is (2005,01,01, SAT). input new date (yy-mm-dd w): 5-2-23 3
Current date is: 2005-02-23 WED
RTC Working now. To set time(Y/N)? y
Current time is (00:00:21). To set time(hh:mm:ss): 19:32:5
Current Time is 2005-02-23 WED
19:32:-Embest S3C44B0X RTC Test Evaluation Board Example RTC Check (Y / N) y Set Default Time at 200 4-12-31 FRI 23:59 : 59 Set Alarm Time at 2005-01-01 00:00 : RTC 01 ... ... Alarm Interrupt O.K. Current Time SAT is 2005-01-01 00:00 : Working now 01 RTC. To set date (Y / N) y Current da te is (2005,01,01. SAT). input new date (yy-mm-dd w) : 5-2-23 3 Current date is : 2005-02-23 Retrieval RTC Working now. To set time (Y / N ) y Current time is (00:00:21). To set time (hh : mm : ss) : 19:32:5 Current Time is 2005-02-23 Retrieval 19 : 32:
Platform: |
Size: 6865 |
Author: zhang |
Hits:
Description: 程序实现最基本的万年历功能。
显示画面式样如下:
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 动作要求
程序默认显示2007年7月的月历，要求可以通过程序输入的方式指定显示年月。
其中年份控制在从1980到2100年之间，不符合要求重新输入。
输入年月后显示清屏，重新显示(要求原来的显示清除)。
按”Q”或”q”键退出程序。
Platform: |
Size: 4514 |
Author: xoaxiao |
Hits:
Description: C 语言开发的日历（课程设计很不错的）
Month:123/1
--- --- ---
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
Platform: |
Size: 3147 |
Author: zhangdan |
Hits:
Description: 对于给定的带权3-CNF，设计一个蒙特卡罗算法，使其权值之和尽可能大-regard to the right to bring 3-CNF, a Monte Carlo algorithm design, make it the right value and the greatest possible
Platform: |
Size: 1024 |
Author: 自由人 |
Hits:
Description: 1.这个计算器可用在离散数学的数理逻辑中，纯属工具，随意传播，由java语言实现,解压即可运行，需要按照java环境。可以去这里下载运行环境：http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入，也可用相应的按钮输入，变元只能是PQRST。由于等价连接词无法识别，所以用等号代替，这也是一个无奈的选择。 4.计算前请选择变元个数（默认为3元）并对变元赋值。变元个数最高为5，基本能满足日常的计算。 5.计算器有自动检查表达式是否正确的功能，如果判断功能有误，麻烦您告诉我您的表达式。-1. The calculator can be used in discrete mathematics mathematical logic and is purely tools, and they spread by java language, can extract operation, in accordance with the needs of java environment. Go here to download operating environment : http :// www.skycn.com/soft/3116.html 2. The calculator can or count the value of the expression logic, truth table corresponding to the main disjunctive, with the main SAT. 3. Importation of expression can be imported in the expression column, also available in the corresponding button input variables can only be PQRST. As conjunction equivalence can not be identified, and so synonymous substitution, this is a helpless choice. 4. Please choose before calculating variable number (default 3 million) as well as variable assignment. Arguments for the
Platform: |
Size: 7118848 |
Author: vintoak |
Hits:
Description: 1971年Cook发表的库克定理,证明了第一的NPC问题:3SAT-Published in 1971 Cook Cook theorem, to prove the first of the NPC problems: 3SAT
Platform: |
Size: 453632 |
Author: Goliath |
Hits:
Description: Proff of the NP-Completeness of the 3-SAT problem
Platform: |
Size: 92160 |
Author: besbatti |
Hits:
Description: 对于给定的带权 3-CNF，设计一个蒙特卡罗算法，使其权值之和尽可能大。此程序可以解决这个问题-For a given weighted 3-CNF, a Monte Carlo algorithm designed to make the right value, and as large as possible. This program can solve this problem
Platform: |
Size: 1024 |
Author: meiyu |
Hits:
Description: ACIS的3D造型相关源码
主要包括《基于ACIS的几何造型技术与系统开发》一书中所有例子的源码，以及一些之中所需要到的工程及SAT文件等。适合acis初学者配合书籍进行学习。-3D Modeling with ACIS
>
> ACIS Version 7.0
>
>
> The archive contains :
> 1) Example program presented, or mentioned, in
> the book.
>
> 2) Solution programs for some of the end of chapter exercises.
> These are identified with the following naming
> convention:
> exer10_1.cxx == Solution to Exercise Chapter 10, No 1
> other file types (txt, sat, scm) are used as
> appropriate.
>
> 3) SAT files for BODYs required for the some of the
> exercises.
>
> 4) Only known bugs are in hist1.scm and roll.cxx.
>
Platform: |
Size: 129024 |
Author: libin |
Hits:
Description: 麻省理工的人工智能讲义第三章
约束满足问题 介绍了各种类型的约束满足问题-AI lecture-3 of MIT
talking about Constraint Satisfaction Problems (CSPs)：N-Queens problem；line labelings；Graph coloring；3-SAT； Model-based recognition etc.
Platform: |
Size: 939008 |
Author: dayuan |
Hits:
Description: 贪心算法求解SAT问题 3-SAT问题 比较详细 很好很强大-Greedy algorithm to solve SAT problem greedy algorithm greedy algorithm to solve SAT problem SAT problem
Platform: |
Size: 122880 |
Author: 斯科 |
Hits:
Description: 实现一个MAX 3-SAT 问题的解决。采用模拟退火算法。-to implement a max 3-SAT problem optimization algorithm using simulated annealing
Platform: |
Size: 20480 |
Author: 林曦 |
Hits:
Description: 采用遗传算法解决一个 MAX 3-SAT 问题，获得最优解。-to achieve best solution in solving MAX 3-SAT problem using genetic algorithm.
Platform: |
Size: 17408 |
Author: 林曦 |
Hits:
Description: programa java 3-sat. con geneticos
Platform: |
Size: 3308544 |
Author: luna |
Hits:
Description: Code for resolving the 3-Sat problem, written in python
Platform: |
Size: 1024 |
Author: Theigiche |
Hits:
Description: 使用模拟退火算法（SA）解决3-SAT问题，程序中有详细注释，采用文件方式输入输出，数据规模可在程序中修改。-Using simulated annealing algorithm (SA) to solve the 3-SAT problem, the program has detailed notes, the use of input and output files, data scale can be modified in the program.
Platform: |
Size: 2048 |
Author: sjj |
Hits:
Description: 利用IWO和PSO求解MAX-3-SAT问题的比较研究
优化算法-A comparative study of solving MAX-3-SAT problem with IWO and PSO
Platform: |
Size: 428032 |
Author: 张帆 |
Hits:
Description: reglas para cfdi 3.3 sat mexico
Platform: |
Size: 13312 |
Author: mrrmrr
|
Hits: