Improved exact solver for weighted max-sat (2005)
by
Teresa Alsinet
,
Felip Manyà
,
Jordi Planes
| Venue: | In: Proc. of the 8th SAT conference. (2005 |
| Citations: | 20 - 10 self |
BibTeX
@INPROCEEDINGS{Alsinet05improvedexact,
author = {Teresa Alsinet and Felip Manyà and Jordi Planes},
title = {Improved exact solver for weighted max-sat},
booktitle = {In: Proc. of the 8th SAT conference. (2005},
year = {2005},
pages = {371--377},
publisher = {Springer LNCS}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. We present two new branch and bound weighted Max-SAT solvers (Lazy and Lazy ⋆ ) which incorporate original data structures and inference rules, and a lower bound of better quality. 1
