Abstract
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.
Cite
CITATION STYLE
APA
Ansótegui, C., Bonet, M. L., & Levy, J. (2010). A New Algorithm for Weighted Partial MaxSAT. In Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010 (pp. 3–8). AAAI Press. https://doi.org/10.1609/aaai.v24i1.7545
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free