Publication | Closed Access

New Upper Bounds for Maximum Satisfiability

EngineeringAutomated ReasoningLower BoundSat SolvingComputational ComplexityNew Upper BoundsDiscrete MathematicsSatisfiability