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
SAT solver by CE & BK algorithms
29 Aug 2008 (Updated 02 Nov 2010) Solve SAT problems with 2 stochastic solvers : CE & BK algorithms |
|||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
Contact us at files@mathworks.com