Minimum Satisfiability and Its Applications.

Chu Min Li, Zhu Zhu, Felip Many, Laurent Simon

Browse the full IJCAI paper archive.