Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms

IJCAI 2011 pp. 572-577

doi:10.5591/978-1-57735-516-8/IJCAI11-103 /ijcai/2011/heras2011ijcai-read/

Cite

Text

Heras and Marques-Silva. "Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-103

Markdown

[Heras and Marques-Silva. "Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/heras2011ijcai-read/) doi:10.5591/978-1-57735-516-8/IJCAI11-103

BibTeX

@inproceedings{heras2011ijcai-read,
  title     = {{Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms}},
  author    = {Heras, Federico and Marques-Silva, João},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {572-577},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-103},
  url       = {https://mlanthology.org/ijcai/2011/heras2011ijcai-read/}
}