Pages that link to "Item:Q3088277"
From MaRDI portal
The following pages link to A New Bound for 3-Satisfiable Maxsat and Its Algorithmic Application (Q3088277):
Displaying 5 items.
- Parameterized complexity of MaxSat above average (Q392026) (← links)
- A new bound for 3-satisfiable MaxSat and its algorithmic application (Q393085) (← links)
- Fixed-parameter tractability of satisfying beyond the number of variables (Q528862) (← links)
- A new lower bound on the maximum number of satisfied clauses in Max-SAT and its algorithmic applications (Q1759685) (← links)
- Constraint Satisfaction Problems Parameterized above or below Tight Bounds: A Survey (Q2908541) (← links)
