Welcome![Sign In][Sign Up]
Location:
Search - SAT

Search list

[Other resourceCoverity_White_Paper-SAT-Next_Generation_Static_An

Description: Coverity_White_Paper-SAT-Next_Generation_Static_Analysis.pdf for Program Analysis
Platform: | Size: 75606 | Author: 涛涛 | Hits:

[OtherSAT4J_JAVA

Description: Java版的SAT求解器,基于miniSAT-Java version of the SAT solver, based on miniSAT
Platform: | Size: 2650112 | Author: baixi | Hits:

[Mathimatics-Numerical algorithmssat_problem

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:

[AI-NN-PRsp-1.4

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:

[OtherpsoSAT

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:

[JSPCoverity_White_Paper-SAT-Next_Generation_Static_An

Description: Coverity_White_Paper-SAT-Next_Generation_Static_Analysis.pdf for Program Analysis
Platform: | Size: 75776 | Author: 涛涛 | Hits:

[Linux-UnixTw2815_i2c

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:

[Othersat

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:

[Industry research3SAT-NP-Completeness

Description: Proff of the NP-Completeness of the 3-SAT problem
Platform: | Size: 92160 | Author: besbatti | Hits:

[Mathimatics-Numerical algorithmszchaff

Description: 命题逻辑的求解器,2004年SAT竞赛第一名的求解器 -Propositional logic solver, in 2004 the first race of the SAT solver
Platform: | Size: 4089856 | Author: gejuan | Hits:

[File Operatednl4451

Description: *.Sat file format for read/writen ACIS files
Platform: | Size: 792576 | Author: serj | Hits:

[Mathimatics-Numerical algorithmssatproblem

Description: 自己编写的,SAT问题的Johnson算法源代码,请多多指教-I have written, SAT question of the Johnson algorithm source code, please advice
Platform: | Size: 1024 | Author: binbin | Hits:

[VHDL-FPGA-Verilogmmi

Description: 手机mmi状态机,包括打电话、发短信、SAT-State machine of mmi of mobilephone, it s including Call, SMS, SAT etc.
Platform: | Size: 3889152 | Author: ycchjd | Hits:

[Othersat

Description: 可满足性问题(SAT),NP完全问题 并行算法 MPI-satisfiability problem(SAT) MPI,NP PROBLEM
Platform: | Size: 6144 | Author: lbo | Hits:

[Education soft systemSBML-SAT-v1.1

Description: SBML-SAT is a Systems Biology Markup Language (SBML) based Sensitivity Analysis Tool
Platform: | Size: 807936 | Author: sissico | Hits:

[Windows Developsat

Description: Reference for creating ACIS SAT File format
Platform: | Size: 77824 | Author: esu | Hits:

[VC/MFCSAT

Description: sat的合取范式与析取范式的可满足问题()-sat in the CNF and DNF of the satisfiability problem ()
Platform: | Size: 729088 | Author: mei | Hits:

[Other Gamessat

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:

[Graph Drawingsat-file-structure-based-on-acis

Description: acis sat 文件格式说明,对于三维cad开发十分有用-acis sat file format description is useful for the development of three-dimensional cad
Platform: | Size: 77824 | Author: zhangscott | Hits:

[OtherSAT-4 - Rev 6

Description: SCSI/ATA Translation SAT-4 - Rev 6
Platform: | Size: 1320960 | Author: rrreal | Hits:
« 12 3 4 5 6 7 8 9 10 ... 14 »

CodeBus www.codebus.net