SAT solver by CE & BK algorithms: All Files - File Exchange

Code covered by the BSD License

Highlights from
SAT solver by CE & BK algorithms

ce_satA(A , option) SAT solves by Cross-Entropy (CE) optimization
cemcmc_satA(A , option)
readsatA(name) % Read a sparse clause matrix A associated with the CNF file 'name'
mexme_cebk_sat.m
test_ce_satA.m
test_cemcmc_satA.m
View all files

from SAT solver by CE & BK algorithms by Sebastien PARIS
Solve SAT problems with 2 stochastic solvers : CE & BK algorithms

All files for SAT solver by CE & BK algorithms

/2bitcomp_5.mat
/2bitmax_6.mat
/aim-100-1_6-yes1-1.mat
/aim-100-2_0-yes1-1.mat
/aim-200-2_0-yes1-3.mat
/aim-50-1_6-yes1-1.mat
/binornd.c
/ce_satA.m
/cemcmc_satA.m
/cost_satA.c
/g125_17.mat
/gibbsampler_satA.c
/license.txt
/mexme_cebk_sat.m
/readsatA.m
/test_ce_satA.m
/test_cemcmc_satA.m
/uf20-01.mat
/uf20-010.mat
/uf20-0100.mat
/uf50-01.mat
/uf75-01.mat

Highlights from SAT solver by CE & BK algorithms

Highlights from
SAT solver by CE & BK algorithms