Optimization Algorithms For The Minimum-Cost Satisability Problem.