Publication | Closed Access

Algorithms for the maximum satisfiability problem

EngineeringAutomated ReasoningSat SolvingFormal MethodsSatisfiabilityComputational ComplexityMaximum Satisfiability ProblemComputer ScienceComputational ProblemCombinatorial OptimizationFormal Verification