58 citations · 327 across the 60 of their papers we have counts for
Showing 2009 · cs.DSShow all
2 papers · 2 filters
cs.DS2009
Solving MAX-r-SAT Above a Tight Lower Bound
Noga Alon, Gregory Gutin, Eun Jung Kim +2
We present an exact algorithm that decides, for every fixed in time whether a given multiset of clauses of size admits a truth assignment tha…
cs.DS2009
A Probabilistic Approach to Problems Parameterized Above or Below Tight Bounds
G. Gutin, E. J. Kim, S. Szeider +1
We introduce a new approach for establishing fixed-parameter tractability of problems parameterized above tight lower bounds. To illustrate the approach we consider three problems…