Table of Contents Author Guidelines Submit a Manuscript
The Scientific World Journal
Volume 2014, Article ID 798323, 11 pages
http://dx.doi.org/10.1155/2014/798323
Research Article

A Variable Neighborhood Walksat-Based Algorithm for MAX-SAT Problems

Department of Maritime Technology and Innovation, Buskerud and Vestfold University, Norway

Received 23 April 2014; Accepted 10 June 2014; Published 6 August 2014

Academic Editor: Su Fong Chien

Copyright © 2014 Noureddine Bouhmala. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. H. Hoos and T. Stützle, Stochastic Local Search: Foundations and Applications, Morgan Kaufmann, 2004.
  2. H. Xu, R. A. Rutenbar, and K. Sakallah, “sub-SAT: a formulation for relaxed boolean satisfiability with applications in routing,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 22, no. 6, pp. 814–820, 2003. View at Publisher · View at Google Scholar · View at Scopus
  3. M. Vasquez and J. Hao, “A logic-constrained knapsack f ormulation and a tabu algorithm for the daily photograph scheduling of an earth ob servation satellite,” Journal of Computational Optimization and Applications, vol. 20, no. 2, pp. 137–157, 2001. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  4. A. Biere, A. Cimatti, E. Clarke, and Y. Zhu, “Symbolic model checking without BDDs,” in Tools and Algorithms for the Construction and Analysis of Systems, pp. 193–207, 1999. View at Google Scholar
  5. A. Smith, A. G. Veneris, M. F. Ali, and A. Viglas, “Fault diagnosis and logic debugging using Boolean satisfiability,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 24, no. 10, pp. 1606–1621, 2005. View at Publisher · View at Google Scholar · View at Scopus
  6. J. Rintanen, K. Heljanko, and I. Niemelä, “Planning as satisfiability: parallel plans and algorithms for plan search,” Artificial Intelligence, vol. 170, no. 12-13, pp. 1031–1080, 2006. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  7. T. Sandholm, “An algorithm for optimal winner determination in combinatorial auctions,” in Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI '99), pp. 542–547, Stockholm, Sweden, August 1999. View at Scopus
  8. A. Biere, M. Helm, H. van Maaren, and T. Walsh, Handbook of Satisfiability, 2009.
  9. A. Biere, “Picosat essentials,” Journal on Satisfiability, Boolean Modeling and Computation, vol. 4, no. 2–4, pp. 75–97, 2008. View at Google Scholar
  10. J. Marques-Silva, “Practical applications of boolean satisfiability,” in Proceedings of the 9th International Workshop on Discrete Event Systems (WODES '08), pp. 74–80, Gothenburg Sweden, May 2008. View at Publisher · View at Google Scholar · View at Scopus
  11. R. J. Wallace and E. C. Freuder, “Comparative study of constraint satisfaction and davisputnam algorithms for maximum satisfiability problems,” in Cliques, Coloring, and Satisfiability, D. Johnson and M. Trick, Eds., pp. 587–615, 1996. View at Google Scholar
  12. B. Selman, H. A. Kautz, and B. Cohen, “Noise strategies for improving local search,” in Proceedings of the 12th National Conference on Artificial Intelligence (AAAI '94), pp. 337–343, MIT Press, 1994.
  13. M. Yagiura and T. Ibaraki, “Efficient 2 and 3-flip neighborhood search algorithms for the MAX SAT: experimental evaluation,” Journal of Heuristics, vol. 7, no. 5, pp. 423–442, 2001. View at Publisher · View at Google Scholar · View at Scopus
  14. M. Lozano and C. García-Martínez, “Hybrid metaheuristics with evolutionary algorithms specializing in intensification and diversification: overview and progress report,” Computers & Operations Research, vol. 37, no. 3, pp. 481–497, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  15. S. A. Cook, “The complexity of theorem-proving procedures,” in Proceedings of the 3rd ACM Symposium on Theory of Computing, pp. 151–158, 1971.
  16. C. Blum and A. Roli, “Metaheuristics in combinatorial optimi zation: overview and conceptual comparison,” ACM Computing Surveys, vol. 35, no. 3, pp. 268–308, 2003. View at Publisher · View at Google Scholar · View at Scopus
  17. B. Selman, H. Levesque, and D. Mitchell, “A new method for solving hard satisfiability problems,” in Proceedings of the 10th National Conference on Artificial Intelligence (AAAI '92), pp. 440–446, MIT Press, 1992.
  18. H. H. Hoos, “An adaptive noise mechanism for walkSAT,” in Proceedings of the 18th National Conference on Artificial Intelligence (AAAI '02) and 14th Innovative Applications of Artificial Intelligence Conference (IAAI '02), pp. 655–660, August 2002. View at Scopus
  19. H. H. Hoos, “On the run-time behaviour of stochastic local search algorithms for SAT,” in Proceedings of the 16th National Conference on Artificial Intelligence (AAAI '99), pp. 661–666, July 1999. View at Scopus
  20. D. McAllester, B. Selman, and H. Kautz, “Evidence for invariants in local search,” in Proceedings of the 14th National Conference on Artificial Intelligence (AAAI 97), pp. 321–326, July 1997. View at Scopus
  21. B. Cha and K. Iwama, “Performance test of local search algorithms using new types of random CNF formulas,” in Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI '95), pp. 304–309, Morgan Kaufmann, Montreal, Canada, 1995.
  22. J. Frank, “Learning short-term clause weights for GSAT,” in Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI '97), pp. 384–389, Morgan Kaufmann Publishers, 1997.
  23. W. Spears, “Adapting crossover in evolutionary algorithms,” in Proceedings of the 4th Annual Conference on Evolutionary Programming, pp. 367–384, MIT Press, Boston, Mass, USA, 1995. View at Google Scholar
  24. N. Bouhmala, “A multilevel memetic algorithm for large SAT-encoded problems,” Evolutionary Computation, vol. 20, no. 4, pp. 641–664, 2012. View at Publisher · View at Google Scholar · View at Scopus
  25. F. Lardeux, F. Saubion, and J.-K. Hao, “GASAT: a genetic local search algorithm for the satisfiability problem,” Evolutionary Computation, vol. 14, no. 2, pp. 223–253, 2006. View at Publisher · View at Google Scholar · View at Scopus
  26. D. Boughaci, B. Benhamou, and H. Drias, “Scatter search and genetic algorithms for MAXSAT problems,” Journal of Mathematical Modelling and Algorithms, vol. 7, no. 2, pp. 101–124, 2008. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  27. D. S. Johnson and M. A. Trick, Eds., Cliques, Coloring, and Satisfiability, vol. 26 of DIMACS Series on Discrete Mathematics and Theoretical Computer Science, American Mathematical Society, 1996.
  28. P. Mills and E. Tsang, “Guided local search for solving SAT and weighted MAX- SAT problems,” Journal of Automated Reasoning, vol. 24, no. 1-2, pp. 205–223, 2000. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  29. C. M. Li, W. Wei, and H. Zhang, “Combining adaptive noise and look-ahead in local search for SAT,” in Theory and Applications of Satisfiability Testing (SAT-07), J. Marques-Silva and K. A. Sakallah, Eds., vol. 4501 of Lecture Notes in Computer Science, pp. 121–133, Springer, Berlin, Germany, 2007. View at Google Scholar
  30. D. J. Patterson and H. Kautz, “Auto-Walksat: a self-tuning implementation of Walksat,” Electronic Notes in Discrete Mathematics, vol. 9, pp. 360–368, 2001. View at Publisher · View at Google Scholar · View at Scopus
  31. O. C. Granmo and N. Bouhmala, “Solving the satisfiability problem using finite learning automata,” International Journal of Computer Science and Applications, vol. 4, no. 3, pp. 15–29, 2007. View at Google Scholar
  32. A. R. KhudaBukhsh, L. Xu, H. H. Hoos, and K. Leyton-Brown, “SATenstein: automatically building local search SAT solvers from components,” in Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI '09), pp. 517–524, Pasadena, Calif, USA, July 2009. View at Scopus
  33. L. Xu, F. Hutter, H. H. Hoos, and K. Leyton-Brown, “SATzilla: Portfolio-based algorithm selection for SAT,” Journal of Artificial Intelligence Research, vol. 32, pp. 565–606, 2008. View at Google Scholar · View at Scopus
  34. Z. Lü and J. Hao, “Adaptive memory-based local search for MAX-SAT,” Applied Soft Computing, vol. 12, no. 8, pp. 2063–2071, 2012. View at Publisher · View at Google Scholar · View at Scopus
  35. S. Cai, C. Luo, and K. Su, “CCASat: solver description,” in Proceedings of the SAT Challenge 2012: Solver and Benchmark Descriptions, pp. 13–14, 2012.
  36. S. Cai and K. Su, “Configuration checking, with aspiration in local search for SAT,” in Proceedings of the AAAI Conference on Artificial Intelligence (AAAI '12), pp. 434–440, 2012.
  37. S. Cai, K. Su, and A. Sattar, “Local search with edge weighting and configuration checking heuristics for minimum vertex cover,” Artificial Intelligence, vol. 175, no. 9-10, pp. 1672–1696, 2011. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  38. P. Hansen, B. Jaumard, N. Mladenovic, and A. D. Parreira, “Variable neighborhood search for maximum weighted satisfiability problem,” Tech. Rep. G-2000-62, Les Cahiers du GERAD, Group for Research in Decision Analysis, 2000. View at Google Scholar
  39. P. Hansen and N. Mladenovic, “An introduction to vari able neighborhood search,” in Meta-Heuristics: Advances and Trends in Local Search Paradigms for Optimization, S. Voss, S. Martello, I. H. Osman, and C. Roucairol, Eds., pp. 433–458, Kluwer, Boston, Mass, USA, 1999. View at Google Scholar · View at MathSciNet
  40. N. Mladenović and P. Hansen, “Variable neighborhood search,” Computers & Operations Research, vol. 24, no. 11, pp. 1097–1100, 1997. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  41. B. Hu and R. Raidl, “Variable neighborhood descent with self -adaptive neighborhoodordering,” in Proceedings of the 7th EU/Meeting on Adaptive, Self-Adaptive, and Multi-Level Metaheuristics, C. Cotta, A. J. Fernandez, and J. E. Gallardo, Eds., Malaga, Spain, 2006.
  42. A. D. Tompkins and H. Hoos, “UBCSAT: an implementation and experimentat ion environment for SLS algorithms for SAT and MAX-SAT,” 2004.
  43. S. Prestwich, “Random walk with continuously smooth ed variable weights,” in Theory and Applications of Satisfiability Testing, vol. 3569 of Lecture Notes in Computer Science, pp. 203–215, 2005. View at Google Scholar
  44. G. Audemard and L. Simon, in Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI’09), July 2009.