swMATH ID: 5048
Software Authors: Moshe Looks, Ananda Rangan, Weixiong Zhang
Description: Software: Backbone Guided WalkSAT for SAT and Max-SAT with Dynamic Noise Ratio Here is the package of programs we developed for the backbone guided WalkSAT algorithm with dynamic noise ratio for SAT and Max-SAT. Our software was built on top of the WalkSAT local search algorithm and software (downloaded from Henry Kautz’s homepage). The original idea of the dynamic noise ratio method was due to Holger Hoos. We implemented (after some struggling effort) and tested it on 3-SAT and Max-3-SAT. To learn more about the backbone guided local search method with dynamic noise ratio, take a look at a paper presented at IJCAI-03. The package can be downloaded as a gzipped tar file or a WinZip file. Use ”tar -zxvf filename” to unzip the package. See the README file for details on installation and usage. We used a Linux box for the development and test. Note: The README file should be sufficient for a quick installation and use of the software. We cannot guarantee any support.
Homepage: http://www.cs.wustl.edu/~zhang/projects/backboneGuidedSearch/bgwalksat/index.html
Keywords: optimization; DISCRETE – Optimization with discrete variables
Related Software: MiniSat; Walksat; UBCSAT; DIMACS; Chaff; Concorde; LKH; SATLIB; QAPLIB; FANT; Tabu search; CCEHC; CCLS; Paramils; ManySAT; Velev SAT Benchmarks; GitHub; CollHaps; WordSpy; RPOLY
Cited in: 22 Publications

Citations by Year