Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability
Shaowei Cai, Zhendong Lei
Topics & Concepts
Maximum satisfiability problemAlgorithmLocal search (optimization)Boolean satisfiability problemWeightingComputer scienceSatisfiabilityMathematicsMathematical optimizationBoolean functionMedicineRadiologyConstraint Satisfaction and OptimizationFormal Methods in VerificationModel-Driven Software Engineering Techniques