UBCSAT

The Stochastic Local Search SAT Solver from
The University of British Columbia -BETA-Lab

news | intro | documentation | download | updates | instances | links | credits | contact

NEWS

2010.07.10	The SAT 2010 paper was presented: (.pdf) [online appendix] [instances] The corresponding software is coming soon...
2010.02.10	The UBCSAT 2.0 paper has been submitted to SAT 2010
2008.05.09	UBCSAT 1.1 is available for download
2008.04.20	Website updates for 1.1 release -- including new algorithms page
2005.05.04	The final version of the SAT 04 UBCSAT paper is now available.
2004.07.27	Version 1.0.0 (Grouse Mountain Release) is available for download.

INTRODUCTION / OVERVIEW

Here are the goals of the UBCSAT project:

Include highly efficient, conceptually simple, and accurate implementations of a wide range of prominent SLS algorithms for SAT and MAX-SAT
Facilitate the development and integration of new algorithms (and algorithm variants)
Provide support for advanced empirical analysis of the performance and behaviour of SLS algorithms without compromising implementation efficiency
Provide explicit support for algorithms designed to solve the weighted and unweighted MAX-SAT problems
Provide an open-source software package that is publicly available to the academic community
Implement the project in a platform-independent way, avoiding non-standard programming language extensions.

For a more detailed description of the project, you can read the original paper.

DOCUMENTATION AND ADDITIONAL SUPPORT

Quick Start Guide
Algorithm List
FAQ
Revision History (includes outstanding / corrected bug list)
Legal Information (includes a BibTeX entry for referencing UBCSAT)

DOWNLOAD

Please consult the legal.txt in the release for copyright and legal information

Version 1.1.0 (Sea to Sky Release)

For older versions, please consult the archive.

UPDATES / MAILING LIST

To receive updates when new versions of ubcsat are available, and other exciting ubcsat news,
we highly recommend you subscribe to our mailing list.
Note that the mailing list is moderated, spam-free, and and will not be abused.

To subscribe, send a message to majordomo@cs.ubc.ca with the text:subscribe ubcsat-updates as the body (not the header) of the message

SAT INSTANCES / BENCHMARK PROBLEMS

www.satlib.org: An excellent resource for SAT problems

LINKS

Dynamic Local Search for SAT -- The Research page of the UBCSAT Team

CREDITS

UBCSAT was written by Dave Tompkins
Special thanks to Kevin Smyth and Holger Hoos

CONTACT US

Please e-mail (ubcsat-help (@) cs.ubc.ca) under any of the following conditions:

You're having trouble running UBCSAT
You've found a bug in UBCSAT
You have an algorithm you'd like to have included in UBCSAT
You desire a new feature for UBCSAT
You love or hate using UBCSAT
You have any other questions, comments or suggestions