@inproceedings{ijcai2024p214, title = {A Fast Algorithm for MaxSAT above Half Number of Clauses}, author = {Peng, Junqiang and Xiao, Mingyu}, booktitle = {Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, {IJCAI-24}}, publisher = {International Joint Conferences on Artificial Intelligence Organization}, editor = {Kate Larson}, pages = {1935--1943}, year = {2024}, month = {8}, note = {Main Track}, doi = {10.24963/ijcai.2024/214}, url = {https://doi.org/10.24963/ijcai.2024/214}, }