The following pages link to (Q5501275):
Displayed 4 items.
- A new bound for 3-satisfiable MaxSat and its algorithmic application (Q393085) (← links)
- A new lower bound on the maximum number of satisfied clauses in Max-SAT and its algorithmic applications (Q1759685) (← links)
- A New Bound for 3-Satisfiable Maxsat and Its Algorithmic Application (Q3088277) (← links)
- Partial Satisfaction of k-Satisfiable Formulas (Q3503510) (← links)