ML Anthology

Minimum Satisfiability and Its Applications

Chu Min Li, Zhu Zhu, Felip Manyà, Laurent Simon
IJCAI 2011 pp. 605-610
doi:10.5591/978-1-57735-516-8/IJCAI11-108 /ijcai/2011/li2011ijcai-minimum/
IJCAI Semantic Scholar

Cite

Text

Li et al. "Minimum Satisfiability and Its Applications." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-108

Markdown

[Li et al. "Minimum Satisfiability and Its Applications." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/li2011ijcai-minimum/) doi:10.5591/978-1-57735-516-8/IJCAI11-108

BibTeX

@inproceedings{li2011ijcai-minimum,
  title     = {{Minimum Satisfiability and Its Applications}},
  author    = {Li, Chu Min and Zhu, Zhu and Manyà, Felip and Simon, Laurent},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {605-610},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-108},
  url       = {https://mlanthology.org/ijcai/2011/li2011ijcai-minimum/}
}