Search - sat - CodeBus

Search - sat - List

[Other resource] Coverity_White_Paper-SAT-Next_Generation_Static_An DL : 0: Coverity_White_Paper-SAT-Next_Generation_Static_Analysis.pdf for Program Analysis
Update : 2008-10-13 Size : 73.83kb Publisher : 涛涛
[Other] SAT4J_JAVA DL : 0: Java版的SAT求解器，基于miniSAT-Java version of the SAT solver, based on miniSAT
Update : 2025-02-17 Size : 2.53mb Publisher : baixi
[Mathimatics-Numerical algorithms] sat_problem DL : 0: 这是算法中关于SAT问题的解决方法,希望对你有帮助,-This the algorithm on the SAT the solution to the problem, and I hope to help you, thank you
Update : 2025-02-17 Size : 15kb Publisher : 宋小冰
[AI-NN-PR] sp-1.4 DL : 0: 人工智能的一个重要方法，随机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)
Update : 2025-02-17 Size : 1.43mb Publisher : lily yin
[Other] psoSAT DL : 0: 粒子群优化算法及其在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
Update : 2025-02-17 Size : 199kb Publisher : chenjy
[JSP] Coverity_White_Paper-SAT-Next_Generation_Static_An DL : 1: Coverity_White_Paper-SAT-Next_Generation_Static_Analysis.pdf for Program Analysis
Update : 2025-02-17 Size : 74kb Publisher : 涛涛
[Linux-Unix] Tw2815_i2c DL : 0: 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
Update : 2025-02-17 Size : 4kb Publisher : agui
[Other] sat DL : 0: 并行程序说明：输出结果为最小生成树的边。运行：本实例中使用了5个处理器-Parallel Program Description: The output for the minimum spanning tree edges. Run: The example of the use of five processors
Update : 2025-02-17 Size : 6kb Publisher : 王通
[Industry research] 3SAT-NP-Completeness DL : 0: Proff of the NP-Completeness of the 3-SAT problem
Update : 2025-02-17 Size : 90kb Publisher : besbatti
[Mathimatics-Numerical algorithms] zchaff DL : 0: 命题逻辑的求解器,2004年SAT竞赛第一名的求解器 -Propositional logic solver, in 2004 the first race of the SAT solver
Update : 2025-02-17 Size : 3.9mb Publisher : gejuan
[File Operate] dnl4451 DL : 0: *.Sat file format for read/writen ACIS files
Update : 2025-02-17 Size : 774kb Publisher : serj
[Mathimatics-Numerical algorithms] satproblem DL : 0: 自己编写的，SAT问题的Johnson算法源代码，请多多指教-I have written, SAT question of the Johnson algorithm source code, please advice
Update : 2025-02-17 Size : 1kb Publisher : binbin
[VHDL-FPGA-Verilog] mmi DL : 0: 手机mmi状态机，包括打电话、发短信、SAT-State machine of mmi of mobilephone, it s including Call, SMS, SAT etc.
Update : 2025-02-17 Size : 3.71mb Publisher : ycchjd
[Other] sat DL : 1: 可满足性问题（SAT),NP完全问题并行算法 MPI-satisfiability problem(SAT) MPI,NP PROBLEM
Update : 2025-02-17 Size : 6kb Publisher : lbo
[Education soft system] SBML-SAT-v1.1 DL : 0: SBML-SAT is a Systems Biology Markup Language (SBML) based Sensitivity Analysis Tool
Update : 2025-02-17 Size : 789kb Publisher : sissico
[Windows Develop] sat DL : 0: Reference for creating ACIS SAT File format
Update : 2025-02-17 Size : 76kb Publisher : esu
[VC/MFC] SAT DL : 0: sat的合取范式与析取范式的可满足问题()-sat in the CNF and DNF of the satisfiability problem ()
Update : 2025-02-17 Size : 712kb Publisher : mei
[Other Games] sat DL : 0: 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.
Update : 2025-02-17 Size : 72kb Publisher : shy
[Graph Drawing] sat-file-structure-based-on-acis DL : 0: acis sat 文件格式说明，对于三维cad开发十分有用-acis sat file format description is useful for the development of three-dimensional cad
Update : 2025-02-17 Size : 76kb Publisher : zhangscott
[Other] SAT-4 - Rev 6 DL : 0: SCSI/ATA Translation SAT-4 - Rev 6
Update : 2025-02-17 Size : 1.26mb Publisher : rrreal

« 12 3 4 5 6 7 8 9 10 ... 14 »