Exact Max-SAT solvers for over-constrained problems
| Year of publication: |
2006
|
|---|---|
| Authors: | Argelich, Josep ; Manyà, Felip |
| Published in: |
Journal of heuristics. - Norwell, Mass. [u.a.] : Springer Science + Business Media, ISSN 1381-1231, ZDB-ID 13339746. - Vol. 12.2006, 4, p. 375
|