Rights accessRestricted access - publisher's policy
We present and implement a Weighted Partial MaxSAT solver based on successive calls to a SAT solver. We prove the correctness of our algorithm and compare our solver with other
Weighted Partial MaxSAT solvers.
CitationAnsótegui, C.; Bonet, M.; Levy, J. A new algorithm for Weighted Partial MaxSAT. A: AAAI Conference on Artificial Intelligence. "Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010". 2011, p. 3-8.
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder. If you wish to make any use of the work not provided for in the law, please contact: firstname.lastname@example.org