An efficient solver for weighted Max-SAT
| Year of publication: |
2008
|
|---|---|
| Authors: | Alsinet, Teresa ; Manyà, Felip ; Planes, Jordi |
| Published in: |
Journal of global optimization : an international journal dealing with theoretical and computational aspects of seeking global optima and their applications in science, management and engineering. - Dordrecht [u.a.] : Springer, ISSN 0925-5001, ZDB-ID 1074566x. - Vol. 41.2008, 1, p. 61-74
|