SAT solver by CE & BK algorithms
버전 1.3.0.0 (264 KB) 작성자:
Sebastien PARIS
Solve SAT problems with 2 stochastic solvers : CE & BK algorithms
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카테고리
- Code Generation > Fixed-Point Designer > Data Type Exploration > Algorithm Acceleration > Functions Supported for Code Acceleration >
- FPGA, ASIC, and SoC Development > Fixed-Point Designer > Data Type Exploration > Algorithm Acceleration > Functions Supported for Code Acceleration >
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!