搜索资源列表
sat
- 可满足性问题（SAT),NP完全问题 并行算法 MPI-satisfiability problem(SAT) MPI,NP PROBLEM
wsat
- 可满足性sat问题，使用C++语言进行编写，非常好，可以帮助初步理解-Sat satisfiability problem, use C++ written language, very good, you can help a preliminary understanding
Desktop
- 用于求解sat可满足性问题，输入一个式子，判断是否始终满足(Solving the satisfiability problem of SAT,Enter a style to judge whether it is always satisfied)