An Exact Inference Scheme for MinSAT.

Chu Min Li, Felip Many

Browse the full IJCAI paper archive.