A Fast Algorithm for MaxSAT Above Half Number of Clauses

IJCAI 2024 pp. 1935-1943

/ijcai/2024/peng2024ijcai-fast/

Cite

Text

Peng and Xiao. "A Fast Algorithm for MaxSAT Above Half Number of Clauses." International Joint Conference on Artificial Intelligence, 2024.

Markdown

[Peng and Xiao. "A Fast Algorithm for MaxSAT Above Half Number of Clauses." International Joint Conference on Artificial Intelligence, 2024.](https://mlanthology.org/ijcai/2024/peng2024ijcai-fast/)

BibTeX

@inproceedings{peng2024ijcai-fast,
  title     = {{A Fast Algorithm for MaxSAT Above Half Number of Clauses}},
  author    = {Peng, Junqiang and Xiao, Mingyu},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {1935-1943},
  url       = {https://mlanthology.org/ijcai/2024/peng2024ijcai-fast/}
}