A New Algorithm for Weighted Partial MaxSAT

Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy

AAAI 2010 pp. 3-8

doi:10.1609/AAAI.V24I1.7545 /aaai/2010/ansotegui2010aaai-new/

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.

PDF AAAI Semantic Scholar

Cite

Text

Ansótegui et al. "A New Algorithm for Weighted Partial MaxSAT." AAAI Conference on Artificial Intelligence, 2010. doi:10.1609/AAAI.V24I1.7545

Markdown

[Ansótegui et al. "A New Algorithm for Weighted Partial MaxSAT." AAAI Conference on Artificial Intelligence, 2010.](https://mlanthology.org/aaai/2010/ansotegui2010aaai-new/) doi:10.1609/AAAI.V24I1.7545

BibTeX

@inproceedings{ansotegui2010aaai-new,
  title     = {{A New Algorithm for Weighted Partial MaxSAT}},
  author    = {Ansótegui, Carlos and Bonet, Maria Luisa and Levy, Jordi},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2010},
  pages     = {3-8},
  doi       = {10.1609/AAAI.V24I1.7545},
  url       = {https://mlanthology.org/aaai/2010/ansotegui2010aaai-new/}
}