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!