ML Anthology

A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size

Mario Alviano, Carmine Dodaro, Francesco Ricca
IJCAI 2015 pp. 2677-2683
/ijcai/2015/alviano2015ijcai-maxsat/
IJCAI Semantic Scholar

Cite

Text

Alviano et al. "A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size." International Joint Conference on Artificial Intelligence, 2015.

Markdown

[Alviano et al. "A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/alviano2015ijcai-maxsat/)

BibTeX

@inproceedings{alviano2015ijcai-maxsat,
  title     = {{A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size}},
  author    = {Alviano, Mario and Dodaro, Carmine and Ricca, Francesco},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {2677-2683},
  url       = {https://mlanthology.org/ijcai/2015/alviano2015ijcai-maxsat/}
}