人工智能的一个重要方法，随机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 invo