image thumbnail

SAT solver by CE & BK algorithms

version (264 KB) by Sebastien PARIS
Solve SAT problems with 2 stochastic solvers : CE & BK algorithms


Updated 24 Jan 2020

View License

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


In order to compile mex-files on your platform, please run first

mexme_cebk_sat.m (be sure that mex -setup is done before)

Cite As

Sebastien PARIS (2021). SAT solver by CE & BK algorithms (, MATLAB Central File Exchange. Retrieved .

MATLAB Release Compatibility
Created with R2016b
Compatible with any release
Platform Compatibility
Windows macOS Linux

Community Treasure Hunt

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

Start Hunting!