Exploiting Cycle Structures in Max-SAT.

Chu Min Li, Felip Many, Nouredine Ould Mohamedou, Jordi Planes

Browse the full SAT paper archive.