Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.616.387 Times

SAT solver by CE & BK algorithms 1.0

  Date Added: July 23, 2013  |  Visits: 161

SAT solver by CE & BK algorithms

Report Broken Link
Printer Friendly Version


Product Homepage
Download (18 downloads)



SAT solvers by Cross-Entropy (CE) and a Botev-Kroeze (BK) optimization algorithmsCNF SAT problems can be formulated as :S(X)=sum(j=1,...,m)C_j, where C_j=max(0 , (2X_i-1)*AjiPlease run the demo filestest_ce_satA.mtest_cemcmc_satA.mIn order to compile mex-files on your platform, please run firstmexme_cebk_sat.m (be sure that mex -setup is done before)

Requirements: No special requirements
Platforms: Matlab
Keyword: Compile Mexfiles Mexme Cebk Satm Order Platform Setup Test Cemcmc Satam Test Satam
Users rating: 0/10

License: Shareware Size: 276.48 KB
USER REVIEWS
More Reviews or Write Review


SAT SOLVER BY CE & BK ALGORITHMS RELATED
Development Editors  -  actiWATE 1.0
actiWATE (Actimind Web Application Testing Environment) is a free Java-based software platform intended to simplify the test automation process.
5.34 MB  
Education  -  Center Perfect English Lite 1.5
description MAJIDE English Grammar is designed by a Japanese English teacher for high school students. Most high school students in Japan must take the national test called "Center Test" in order to get into collge or university. MAJIDE...
6.4 MB  
Audio Tools  -  BPMMeter 1.0.0
BPMMeter is a very simple BPM (Bits per Minute) meter for j2me platform. Setup it on your cellphone and measure BPM whatever you are.
10.24 KB  
Development Tools  -  Multivariate Gaussian Mixture Model Optimization by Cross Entropy 1.0
Fit a multivariate gaussian mixture by a cross-entropy method. Cross-Entropy is a powerfull tool to achieve stochastic multi-extremum optimization.Please visit http://iew3.technion.ac.il/CE/ for more informationsi) Please compile mex-files by the...
30.72 KB  
Games  -  Battle Jump 0.9.1 Beta
Battle Jump is a free 3D Platform game using OpenGL in order to be available on Windows, Mac OS and Linux. We hope that you will enjoy it.
26.32 MB  
Communication  -  Multitarget Bearing Only Tracking by Particle Filter 1.0
A fast implementation of particle filter dedicaced to multitarget tracking with bearing only measurements. For the multitarget data association problem, a gibbsampler is used to estimate target association probabilities.Ref : "Sequential...
112.64 KB  
Development Tools  -  Multiclass GentleAdaboosting 1.0
A fast Gentle Adaboost classifier with two different weak-learners: i) decision stump and ii) perceptron. Multiclass is performed with the one-against-all strategy.Usage ------ model = gentleboost_model(X , y , [T] , [options]); Inputs ------- X...
102.4 KB  
Chat  -  Mia Chat 0.8.3
Mia Chat is a web based Ajax chat application.It offers:- Simple setup- Ease of use- Secure- Platform independent- Database Portability (most major vendors supported)Mia Chat can be installed and configured in a matter of minutes. Immediately...
40.96 KB  
Chat  -  Mia Chat for Scripts 0.8.3
Mia Chat is a web based Ajax chat application.It offers:- Simple setup- Ease of use- Secure- Platform independent- Database Portability (most major vendors supported)Mia Chat can be installed and configured in a matter of minutes. Immediately...
1003.52 KB  
Programming  -  GooCanvas 0.15 / 1.90.0
GooCanvas is a cairo-based canvas widget for GTK+. GooCanvas is similar in many ways to GnomeCanvas and FooCanvas. But it uses cairo for rendering, has an optional model/view split, and uses interfaces for items & models (so you can...
737.28 KB  
NEW DOWNLOADS IN SCRIPTS, DEVELOPMENT TOOLS
Scripts  -  Freelancer Script 5.05
Main Features: 100% Secured. Email Support (3 Years). FREE Updates (3 Years). Post projects. Featured projects. Private projects. Sealed projects. Edit/delete projects. Select freelancers....
5.49 MB  
Scripts  -  B2B Script 4.20
Main Features: 100% Secured. Email Support (3 Years). FREE Updates (3 Years). Sign-up Account (Registration of account). Lead generation tools (for the sellers). Email verification to...
5.49 MB  
Scripts  -  B2C Script 5.06
Main Features: 100% Secured. Email Support (3 Years). FREE Updates (3 Years). The script comes with totally editable site colors, icons and graphics Multilevel categories allows extensive browsing Admin can change Category ordering or...
5.49 MB  
Scripts  -  Social Networking Script 2.86
Main Features: 100% Secured. Email Support (3 Years). FREE Updates (3 Years). Registration with name, email, password, date of birth etc. User can add multiple school, college, university with start...
5.49 MB  
Scripts  -  Business Networking Script 8.04
Main Features: 100% Secured. Email Support (3 Years). FREE Updates (3 Years). Ajax based interface. Profile creation. Different types of profile. Profile for jobseekers, employers and employed...
5.49 MB  
Development Tools  -  VMP Viewer 1.0
This is a very rudimentary tool to visualize the VMP files generated by BrainVoyager. Useful to share files with people who do not have BV.
10 KB  
Development Tools  -  Sending reports and timestamped file by emailing 1.0
main executing reference usage:[1] usage_send_mail.mIllustrates email sending with multiple separate files or single timestamped tar file. Attachment failure is properly handled, with continuation of report emailing without the attachment.[2]...
768 KB  
Development Tools  -  IrisMVC 2.0 rc1
IrisMVC is an OOP PHP framework that developers can use as a strong and secure foundation to build on various web applications following the Model-View-Controller (MVC) pattern. It provides the basic functionality developers need, without...
51.2 KB  
Development Tools  -  7-Zip for Script 4.42
7-Zip is a file archiver with a high compression ratio.Features:- High compression ratio in new 7z format with LZMA compression- Supported formats:- Packing / unpacking: 7z, ZIP, GZIP, BZIP2 and TAR- Unpacking only: RAR, CAB, ISO, ARJ, LZH, CHM,...
624.64 KB  
Development Tools  -  Barnardextest 1.0
This file, as the Fisher's exact test, performs the exact probability test for a table of frequency data cross-classified according to two categorical variables, each of which has two levels or subcategories (2x2). It is a non-parametric...
10 KB