A Clause Tableau Calculus for MaxSAT

Chu Min Li, Felip Manyà, Joan Ramon Soler

IJCAI 2016 pp. 766-772

/ijcai/2016/li2016ijcai-clause/

Cite

Text

Li et al. "A Clause Tableau Calculus for MaxSAT." International Joint Conference on Artificial Intelligence, 2016.

Markdown

[Li et al. "A Clause Tableau Calculus for MaxSAT." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/li2016ijcai-clause/)

BibTeX

@inproceedings{li2016ijcai-clause,
  title     = {{A Clause Tableau Calculus for MaxSAT}},
  author    = {Li, Chu Min and Manyà, Felip and Soler, Joan Ramon},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2016},
  pages     = {766-772},
  url       = {https://mlanthology.org/ijcai/2016/li2016ijcai-clause/}
}