文件名称：CE & BK 算法的 SAT 求解器：使用 2 个随机求解器解决 SAT 问题：CE 和 BK 算法-matlab开发
文件大小：273KB
文件格式：ZIP
更新时间：2024-06-17 22:37:47
matlab
交叉熵 (CE) 和 Botev-Kroeze (BK) 优化算法的 SAT 求解器 CNF SAT 问题可以表述为： S(X)=sum(j=1,...,m)C_j，其中 C_j=max(0 , (2X_i-1)*Aji 请运行演示文件 test_ce_satA.m test_cemcmc_satA.m 为了在您的平台上编译 mex 文件，请先运行 mexme_cebk_sat.m（确保之前完成了 mex -setup）
【文件预览】：
ce_sat.zip