CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract)

Cite

Text

Luo et al. "CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/716

Markdown

[Luo et al. "CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/luo2017ijcai-ccehc/) doi:10.24963/IJCAI.2017/716

BibTeX

@inproceedings{luo2017ijcai-ccehc,
  title     = {{CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract)}},
  author    = {Luo, Chuan and Cai, Shaowei and Su, Kaile and Huang, Wenxuan},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {5030-5034},
  doi       = {10.24963/IJCAI.2017/716},
  url       = {https://mlanthology.org/ijcai/2017/luo2017ijcai-ccehc/}
}