Be the first to rate this file! 130 downloads (last 30 days) File Size: 345.58 KB File ID: #21259

SAT solver by CE & BK algorithms

29 Aug 2008 (Updated 08 Jun 2009)

Solve SAT problems with 2 stochastic solvers : CE & BK algorithms

File Information
Description	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
MATLAB release	MATLAB 7.5 (R2007b)
Other requirements	A C compiler. You may need to recompile each mex-files (.c) on your own plateform in order to run demos. Please follow instructions in the top of each .c files.
Zip File Content
Other Files	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, binornd.dll, ce_satA.m, cemcmc_satA.m, cost_satA.c, cost_satA.dll, g125_17.mat, gibbsampler_satA.c, gibbsampler_satA.dll, license.txt, mexme_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

Tags for This File
Everyone's Tags	cnf, crossentropy, gibbsampler, probability, sat, statistics
Tags I've Applied
Add New Tags	Please login to tag files.

Please login to add a comment or rating.

Updates
10 Sep 2008	-Improve CE parse inputs
08 Jun 2009	- Must compile with non-C99 compiler

Tag Activity for this File
Tag	Applied By	Date/Time
statistics	Sebastien Paris	22 Oct 2008 10:16:35
probability	Sebastien Paris	22 Oct 2008 10:16:35
sat	Sebastien Paris	22 Oct 2008 10:16:35
cnf	Sebastien Paris	22 Oct 2008 10:16:35
gibbsampler	Sebastien Paris	22 Oct 2008 10:16:35
crossentropy	Sebastien Paris	22 Oct 2008 10:16:35

MATLAB Central Terms of Use

NOTICE: Any content you submit to MATLAB Central, including personal information, is not subject to the protections which may be afforded information collected under other sections of The MathWorks, Inc. Web site. You are entirely responsible for all content that you upload, post, e-mail, transmit or otherwise make available via MATLAB Central. The MathWorks does not control the content posted by visitors to MATLAB Central and, does not guarantee the accuracy, integrity, or quality of such content. Under no circumstances will The MathWorks be liable in any way for any content not authored by The MathWorks, or any loss or damage of any kind incurred as a result of the use of any content posted, e-mailed, transmitted or otherwise made available via MATLAB Central. Read the complete Terms prior to use.