![](/img/cover-not-exists.png)
An efficient solver for weighted Max-SAT
Teresa Alsinet, Felip Manyà, Jordi PlanesVolume:
41
Language:
english
Pages:
13
DOI:
10.1007/s10898-007-9166-9
Date:
May, 2008
File:
PDF, 505 KB
english, 2008