SAT solver by CE & BK algorithms

버전 1.3.0.0 (264 KB) 작성자: Sebastien PARIS
Solve SAT problems with 2 stochastic solvers : CE & BK algorithms
다운로드 수: 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. 검색됨 .

MATLAB 릴리스 호환 정보
개발 환경: R2016b
모든 릴리스와 호환
플랫폼 호환성
Windows macOS Linux

Community Treasure Hunt

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

Start Hunting!
버전 게시됨 릴리스 정보
1.3.0.0

Fixed for modern Matlab & 64bits OS versions

1.2.0.0

-Compatible with Linux64 & GCC
-Add mexme_cebk_sat.m

1.1.0.0

- Must compile with non-C99 compiler

1.0.0.0

-Improve CE parse inputs