Exact MinSAT Solving.

Chu Min Li, Felip Many, Zhe Quan, Zhu Zhu

Browse the full SAT paper archive.