SAT solver by CE & BK algorithms

版本 1.3.0.0 (264.1 KB) 作者: Sebastien PARIS

Solve SAT problems with 2 stochastic solvers : CE & BK algorithms

关注

5.0

(3)

2.1K 次下载

更新时间 2020/1/24

查看许可证

SAT solvers by Cross-Entropy (CE) and a Botev-Kroeze (BK) optimization algorithms

CNF SAT problems can be formulated as :

S(X)=sum(j=1,...,m)C_j, where C_j=max(0 , (2X_i-1)*Aji

Please run the demo files

test_ce_satA.m
test_cemcmc_satA.m

In order to compile mex-files on your platform, please run first

mexme_cebk_sat.m (be sure that mex -setup is done before)

引用格式

Sebastien PARIS (2024). SAT solver by CE & BK algorithms (https://www.mathworks.com/matlabcentral/fileexchange/21259-sat-solver-by-ce-bk-algorithms), MATLAB Central File Exchange. 检索来源 2024/4/20.

MATLAB 版本兼容性

创建方式 R2016b

兼容任何版本

平台兼容性

Windows macOS Linux

类别

在 Help Center 和 MATLAB Answers 中查找有关 Functions Supported for Code Acceleration 的更多信息

标签添加标签

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

版本	已发布	发行说明
1.3.0.0	2020/1/24	Fixed for modern Matlab & 64bits OS versions	下载
1.2.0.0	2010/11/2	-Compatible with Linux64 & GCC -Add mexme_cebk_sat.m	下载
1.1.0.0	2009/6/8	- Must compile with non-C99 compiler	下载
1.0.0.0	2008/9/10	-Improve CE parse inputs	下载

SAT solver by CE & BK algorithms