SAT solver by CE & BK algorithms

Version 1.3.0.0 (264 ko) par Sebastien PARIS
Solve SAT problems with 2 stochastic solvers : CE & BK algorithms
5.0
(3)
2,1K téléchargements
Mise à jour 24 jan. 2020

Afficher la licence

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)

Citation pour cette source

Sebastien PARIS (2025). SAT solver by CE & BK algorithms (https://fr.mathworks.com/matlabcentral/fileexchange/21259-sat-solver-by-ce-bk-algorithms), MATLAB Central File Exchange. Extrait(e) le .

Compatibilité avec les versions de MATLAB
Créé avec R2016b
Compatible avec toutes les versions
Plateformes compatibles
Windows macOS Linux
Tags Ajouter des tags

Community Treasure Hunt

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

Start Hunting!

Version Publié le Notes de version
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