搜索资源列表
SAT4J_JAVA
- Java版的SAT求解器，基于miniSAT-Java version of the SAT solver, based on miniSAT
sat_problem
- 这是算法中关于SAT问题的解决方法,希望对你有帮助,-This the algorithm on the SAT the solution to the problem, and I hope to help you, thank you
sp-1.4
- 人工智能的一个重要方法，随机SAT问题，即一种复杂的组合优化方法，算法清晰，简单，易懂，但涉及较深的数学知识，（该源码基于linux平台的C程序）-Artificial Intelligence an important method, random SAT problems, namely, a complex combinatorial optimization method, the algorithm clear, simple
psoSAT
- 粒子群优化算法及其在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
Tw2815_i2c
- 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
sat
- 并行程序说明：输出结果为最小生成树的边。运行：本实例中使用了5个处理器-Parallel Program Descr iption: The output for the minimum spanning tree edges. Run: The example of the use of five processors
3SAT-NP-Completeness
- Proff of the NP-Completeness of the 3-SAT problem
zchaff
- 命题逻辑的求解器,2004年SAT竞赛第一名的求解器 -Propositional logic solver, in 2004 the first race of the SAT solver
dnl4451
- *.Sat file format for read/writen ACIS files
satproblem
- 自己编写的，SAT问题的Johnson算法源代码，请多多指教-I have written, SAT question of the Johnson algorithm source code, please advice
mmi
- 手机mmi状态机，包括打电话、发短信、SAT-State machine of mmi of mobilephone, it s including Call, SMS, SAT etc.
sat
- 可满足性问题（SAT),NP完全问题 并行算法 MPI-satisfiability problem(SAT) MPI,NP PROBLEM
SBML-SAT-v1.1
- SBML-SAT is a Systems Biology Markup Language (SBML) based Sensitivity Analysis Tool
GA
- C++ implementation of a Genetic algorithm (GA). A population of binary chromosomes is generated randomly to attempt to solve the Weighted MAX SAT Problem. Parameters of crossover, mutation, population size can be control
SAT-B55
- Sony SAT-B55 service manual
sat
- Reference for creating ACIS SAT File format
sat
- 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
sat-file-structure-based-on-acis
- acis sat 文件格式说明，对于三维cad开发十分有用-acis sat file format descr iption is useful for the development of three-dimensional cad
2-sat
- 可以解决2-sat问题，时间复杂度最坏的情况下是n*n-Can solve the 2-sat problem, time complexity worst case is n* n
SAT-4 - Rev 6
- SCSI/ATA Translation SAT-4 - Rev 6