Description: 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)
File list (Check if you may need any files):
Download