A parallel GRASP for MAX-SAT problems (1184)
Cached
Download Links
- [www.research.att.com]
- [www.research.att.com]
- DBLP
Other Repositories/Bibliography
by
P. M. Pardalos
,
L. Pitsoulis
,
M. G. C. Resende
| Venue: | Lecture Notes in Computer Science |
| Citations: | 10 - 6 self |
BibTeX
@INPROCEEDINGS{Pardalos84aparallel,
author = {P. M. Pardalos and L. Pitsoulis and M. G. C. Resende},
title = {A parallel GRASP for MAX-SAT problems},
booktitle = {Lecture Notes in Computer Science},
year = {1184}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. The weighted maximum satis ability (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.
