SAT solver by CE & BK algorithms 1.0

Date Added: July 23, 2013 | Visits: 288

Report Broken Link
Printer Friendly Version

Product Homepage
Download (46 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

Programming - Test Environment Toolkit 3.7 Test Environment Toolkit in short TET, is a multi-platform uniform test scaffold, into which non-distributed and distributed test suites can be incorporated. TET supports tests written in C, C++, Perl, Tcl, Shell (sh, bash, and POSIX shell),...	952.32 KB
Programming - ludibrio 1.0 Platform for test doubles in Python (mocks, stubs, Spy, and dummies)	40.96 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
Polls and Surveys - InstallJammer 1.2.6b2 1.0 InstallJammer is a multiplatform GUI installer designed to be completely cross-platform and function on Windows and most all versions of UNIX with support for MacOS X coming soon.Features:- Rapid Development - InstallJammer includes a very...

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 - Aml2CHM 3.50 Those who use the popular Aml Pages text editor might be looking out for a way of generating help files from their text and notes. Aml2CHM is a plug-in that was developed to offer people a quick and efficient way of converting Aml Pages documents...	549.99 KB
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

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts