SAT solver by CE & BK algorithms: mexme_cebk_sat.m - File Exchange

Code covered by the BSD License

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

mexme_cebk_sat.m
echo on mex -DranSHR3 binornd.c mex gibbsampler_satA.c mex cost_satA.c echo off