用随机局部搜索解决非布尔可满足性问题 电子书下载

原名:Solving Non-Boolean Satisfiability Problems with Stochastic Local Search
作品简介:布尔可满足性问题的程序，用于解决以下问题 当前地址：法夫圣安德鲁斯大学计算机科学学院 该讨论提出了两个问题： 非奇异状态是否有帮助。……