Breaking Cycle Structure to Improve Lower Bound for Max-SAT.

Yanli Liu, Chumin Li, Kun He, Yi Fan

Browse the full FAW paper archive.