BG-WalkSAT 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 all top 5 Cited by 52 Authors 3 Chen, Guoliang 3 Jiang, He 2 Jäger, Gerold 2 Zhang, Weixiong 1 Albrecht, Andreas A. 1 Arbelaez, Alejandro 1 Benhamou, Belaid 1 Beullens, Patrick 1 Boizumault, Patrice 1 Boughaci, Dalila 1 Cadoli, Marco 1 Chen, Wenxiang 1 Climer, Sharlee 1 Drias, Habiba 1 Fourdrinoy, Olivier 1 Gao, Yong 1 Goldengorin, Boris I. 1 Grégoire, Éric 1 Gu, Jun 1 Helsgaun, Keld 1 Janota, Mikoláš 1 Jarvis, Padraigh 1 Karimi, Hamed 1 Lane, Peter C. R. 1 Li, Jianwen 1 Li, Mingchu 1 Loudni, Samir 1 Lynce, Inês 1 Mancini, Toni 1 Marques-Silva, João P. 1 Mazure, Bertrand 1 Molitor, Paul 1 Montero, Elizabeth 1 Neveu, Bertrand 1 Prestwich, Steven D. 1 Pu, Geguang 1 Richter, Dirk 1 Ries, Jana 1 Riff, María Cristina 1 Rosenberg, Gili 1 Saïs, Lakhdar 1 Salt, David 1 Smith, Stephen F. 1 Song, Fu 1 Steinhöfel, Kathleen K. 1 Streeter, Matthew J. 1 Whitley, Darrell 1 Zhang, Min 1 Zhang, Xianchao 1 Zhang, Yueling 1 Zhou, Zhi 1 Zou, Peng all top 5 Cited in 12 Serials 3 Artificial Intelligence 2 European Journal of Operational Research 1 AI Communications 1 Chinese Science Bulletin 1 The Journal of Artificial Intelligence Research (JAIR) 1 JMMA. Journal of Mathematical Modelling and Algorithms 1 Journal of Software 1 Quantum Information Processing 1 Journal of Discrete Algorithms 1 Science in China. Series F 1 Mathematics in Computer Science 1 Mathematical Programming Computation Cited in 4 Fields 15 Computer science (68-XX) 10 Operations research, mathematical programming (90-XX) 1 Quantum theory (81-XX) 1 Biology and other natural sciences (92-XX) Citations by Year