Advertisement

A parallel GRASP for MAX-SAT problems

  • P. M. Pardalos
  • L. Pitsoulis
  • M. G. C. Resende
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1184)

Abstract

The weighted maximum satisfiability (MAX-SAT) problem is central in mathematical logic, computing theory, and many industrial applications. In this paper, we present a parallel greedy randomized adaptive search procedure (GRASP) for solving MAX-SAT problems. Experimental results indicate that almost linear speedup is achieved.

Key words

Maximum Satisfiability Parallel Search Heuristics GRASP Parallel Computing 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    G.Y. Ananth, V. Kumar, and P.M. Pardalos. Parallel processing of discrete optimization problems. In Encyclopedia of Microcomputers, volume 13, pages 129–147. Marcel Dekker Inc., New York, 1993.Google Scholar
  2. 2.
    S.A. Cook. The complexity of theorem-proving procedures. In Proceedings of the Third annual ACM Symposium on Theory of Computing, pages 151–158, 1971.Google Scholar
  3. 3.
    T.A. Feo and M.G.C. Resende. Greedy randomized adaptive search procedures. Journal of Global Optimization, 6:109–133, 1995.Google Scholar
  4. 4.
    A. Ferreira and P.M. Pardalos, editors. Solving Combinatorial Optimization Problems in Parallel: Methods and Techniques, volume 1054 of Lecture Notes in Computer Science. Springer-Verlag, 1996.Google Scholar
  5. 5.
    M.R. Garey and D.S. Johnson. Computers and intractability: A guide to the theory of NP-completeness. W.H. Freeman and Company, New York, 1979.Google Scholar
  6. 6.
    A. Geist, A. Beguelin, J. Dongarra, W. Jiang, R. Mancheck, and V. Sunderam. PVM: Parallel Virtual Machine A Users Guide and Tutorial for Networked Parallel Computing. Scientific and Engineering Computation. MIT Press, Massachusetts Institute of Technology, 1994.Google Scholar
  7. 7.
    J. Gu. Parallel algorithms for satisfiability (SAT) problems. In P.M. Pardalos, M.G.C. Resende, and K.G. Ramakrishnan, editors, Parallel Processing of Discrete Optimization Problems, volume 22 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 105–161. American Mathematical Society, 1995.Google Scholar
  8. 8.
    D.S. Johnson and M.A. Trick, editors. Cliques, coloring, and Satisfiability; Second DIMACS Implementation Challenge. DIMACS Series in Discrete Mathematics and Theoretical Computer Science. American Mathematical Society, 1996.Google Scholar
  9. 9.
    P.M. Pardalos, L. Pitsoulis, T. Mavridou, and M.G.C. Resende. Parallel search for combinatorial optimization: Genetic algorithms, simulated annealing and GRASP. Lecture Notes in Computer Science, 980:317–331, 1995.Google Scholar
  10. 10.
    P.M. Pardalos, L.S. Pitsoulis, and M.G.C. Resende. A parallel GRASP implementation for the quadratic assignment problem. In A. Ferreira and J. Rolim, editors, Parallel Algorithms for Irregularly Structured Problems — Irregular'94, pages 111–130. Kluwer Academic Publishers, 1995.Google Scholar
  11. 11.
    P.M. Pardalos, M.G.C. Resende, and K.G. Ramakrishnan, editors. Parallel Processing of Discrete Optimization Problems, volume 22 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science. American Mathematical Society, 1995.Google Scholar
  12. 12.
    M.G.C. Resende and T.A. Feo. A GRASP for Satisfiability. In D.S. Johnson and M.A. Trick, editors, Cliques, coloring, and Satisfiability: Second DIMACS Implementation Challenge, DIMACS Series in Discrete Mathematics and Theoretical Computer Science. American Mathematical Society, 1996.Google Scholar
  13. 13.
    M.G.C. Resende, L. Pitsoulis, and P.M. Pardalos. Approximate solution of weighted max-sat problems using grasp. In DingZu Du, Jun Gu, and Panos M. Pardalos, editors, Satisfiability Problem: Theory and Applications, DIMACS Series in Discrete Mathematics and Theoretical Computer Science. American Mathematical Society, 1996.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • P. M. Pardalos
    • 1
  • L. Pitsoulis
    • 1
  • M. G. C. Resende
    • 2
  1. 1.Center for Applied Optimization, Department of Industrial and Systems EngineeringUniversity of FloridaGainesvilleUSA
  2. 2.AT&T ResearchFlorham ParkUSA

Personalised recommendations