An Exact MaxSAT Algorithm: Further Observations and Further Improvements.

Mingyu Xiao

Browse the full IJCAI paper archive.