用GA、SA实现3SAT问题的求解

[{"title":"（ 7 个子文件 180KB ） 用GA、SA实现3SAT问题的求解","children":[{"title":"实验17","children":[{"title":"GA求解3SAT","children":[{"title":"input.txt <span style='color:#111;'> 1.77KB </span>","children":null,"spread":false},{"title":"GA求解3SAT报告.doc <span style='color:#111;'> 114.50KB </span>","children":null,"spread":false},{"title":"output.txt <span style='color:#111;'> 1.55KB </span>","children":null,"spread":false},{"title":"GA3SAT.cpp <span style='color:#111;'> 4.92KB </span>","children":null,"spread":false}],"spread":true},{"title":"SA求解3SAT","children":[{"title":"input.txt <span style='color:#111;'> 1.77KB </span>","children":null,"spread":false},{"title":"SA求解3SAT报告.doc <span style='color:#111;'> 111.00KB </span>","children":null,"spread":false},{"title":"SA3Sat.cpp <span style='color:#111;'> 2.93KB </span>","children":null,"spread":false}],"spread":true}],"spread":true}],"spread":true}]