An Exact Inference Scheme for MinSAT

Open in new window