Location:
Search - SAT
Search list
Description: Coverity_White_Paper-SAT-Next_Generation_Static_Analysis.pdf
for Program Analysis
Platform: |
Size: 75606 |
Author: 涛涛 |
Hits:
Description: Java版的SAT求解器，基于miniSAT-Java version of the SAT solver, based on miniSAT
Platform: |
Size: 2650112 |
Author: baixi |
Hits:
Description: 这是算法中关于SAT问题的解决方法,希望对你有帮助,-This the algorithm on the SAT the solution to the problem, and I hope to help you, thank you
Platform: |
Size: 15360 |
Author: 宋小冰 |
Hits:
Description: 人工智能的一个重要方法，随机SAT问题，即一种复杂的组合优化方法，算法清晰，简单，易懂，但涉及较深的数学知识，（该源码基于linux平台的C程序）-Artificial Intelligence an important method, random SAT problems, namely, a complex combinatorial optimization method, the algorithm clear, simple, easy to understand, but involves deeper mathematical knowledge, (the source linux-based platform C program)
Platform: |
Size: 1496064 |
Author: lily yin |
Hits:
Description: 粒子群优化算法及其在SAT问题和多目标规划问题上的应用,优秀的硕士论文，和大家一起分享-Particle Swarm Optimization Algorithm and Its Application in SAT and multi-objective planning application, outstanding master s thesis, and the community together to share
Platform: |
Size: 203776 |
Author: chenjy |
Hits:
Description: Coverity_White_Paper-SAT-Next_Generation_Static_Analysis.pdf
for Program Analysis
Platform: |
Size: 75776 |
Author: 涛涛 |
Hits:
Description: i2c配置tw2815，可以对techwell2815进行4路ad 的hue，sat，cont，brt gain进行配置-i2c configuration tw2815, can techwell2815 conducted 4-way ad the hue, sat, cont, brt gain configuration
Platform: |
Size: 4096 |
Author: agui |
Hits:
Description: 并行程序说明：输出结果为最小生成树的边。运行：本实例中使用了5个处理器-Parallel Program Description: The output for the minimum spanning tree edges. Run: The example of the use of five processors
Platform: |
Size: 6144 |
Author: 王通 |
Hits:
Description: Proff of the NP-Completeness of the 3-SAT problem
Platform: |
Size: 92160 |
Author: besbatti |
Hits:
Description: 命题逻辑的求解器,2004年SAT竞赛第一名的求解器 -Propositional logic solver, in 2004 the first race of the SAT solver
Platform: |
Size: 4089856 |
Author: gejuan |
Hits:
Description: *.Sat file format for read/writen ACIS files
Platform: |
Size: 792576 |
Author: serj |
Hits:
Description: 自己编写的，SAT问题的Johnson算法源代码，请多多指教-I have written, SAT question of the Johnson algorithm source code, please advice
Platform: |
Size: 1024 |
Author: binbin |
Hits:
Description: 手机mmi状态机，包括打电话、发短信、SAT-State machine of mmi of mobilephone, it s including Call, SMS, SAT etc.
Platform: |
Size: 3889152 |
Author: ycchjd |
Hits:
Description: 可满足性问题（SAT),NP完全问题
并行算法
MPI-satisfiability problem(SAT)
MPI,NP PROBLEM
Platform: |
Size: 6144 |
Author: lbo |
Hits:
Description: SBML-SAT is a Systems Biology Markup Language (SBML) based Sensitivity Analysis Tool
Platform: |
Size: 807936 |
Author: sissico |
Hits:
Description: Reference for creating ACIS SAT File format
Platform: |
Size: 77824 |
Author: esu |
Hits:
Description: sat的合取范式与析取范式的可满足问题()-sat in the CNF and DNF of the satisfiability problem ()
Platform: |
Size: 729088 |
Author: mei |
Hits:
Description: SAT问题也称为合取范式的可满足问题，一个合取范式形如：A1∧A2∧…∧An，子句Ai（1≤i≤n）形如：a1∨a2∨…∨ak，其中，ai称为文字，为某一布尔变量或该布尔变量的非。SAT问题是指：是否存在一组对所有布尔变量的赋值（TRUE或FALSE），使得整个合取范式取值为真。-SAT problem is also known as conjunctive normal form satisfiability problem, a conjunctive normal form: A1 ∧ A2 ∧ ... ∧ An, clause Ai (1 ≤ i ≤ n) of the form: a1 ∨ a2 ∨ ... ∨ ak, where , ai as text, for a Boolean variable or the non-Boolean variables. SAT question is: Is there a set of assignment of all Boolean variables (TRUE or FALSE), makes the whole CNF value is true.
Platform: |
Size: 73728 |
Author: shy |
Hits:
Description: acis sat 文件格式说明，对于三维cad开发十分有用-acis sat file format description is useful for the development of three-dimensional cad
Platform: |
Size: 77824 |
Author: zhangscott |
Hits:
Description: SCSI/ATA Translation SAT-4 - Rev 6
Platform: |
Size: 1320960 |
Author: rrreal
|
Hits:
« 12
3
4
5
6
7
8
9
10
...
14
»