A Fast Algorithm for MaxSAT above Half Number of Clauses.

Junqiang Peng, Mingyu Xiao

Browse the full IJCAI paper archive.