SAT solver by CE & BK algorithms

Version 1.3.0.0 (264 KB) von Sebastien PARIS
Solve SAT problems with 2 stochastic solvers : CE & BK algorithms
5.0
(3)
2,1K Downloads
Aktualisiert 24. Jan 2020

Lizenz anzeigen

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)

Zitieren als

Sebastien PARIS (2026). SAT solver by CE & BK algorithms (https://de.mathworks.com/matlabcentral/fileexchange/21259-sat-solver-by-ce-bk-algorithms), MATLAB Central File Exchange. Abgerufen.

Kompatibilität der MATLAB-Version
Erstellt mit R2016b
Kompatibel mit allen Versionen
Plattform-Kompatibilität
Windows macOS Linux
Tags Tags hinzufügen

Version Veröffentlicht Versionshinweise
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