R. Crowston

activity

20092016

most citedSystems of Linear Equations over

F_{2}

and Problems Parameterized Above Average

38 citations · 83 across the 17 of their papers we have counts for

collaborators

Showing 2010Show all

2 papers · 1 filter

cs.DS2010★ 2 cited

A New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and its Algorithmic Applications

R. Crowston, G. Gutin, M. Jones +1

A pair of unit clauses is called conflicting if it is of the form $(x)$ , $(x ˉ)$ . A CNF formula is unit-conflict free (UCF) if it contains no pair of conflicting unit clauses.…

cs.DM2010★ 38 cited

Systems of Linear Equations over $F_{2}$ and Problems Parameterized Above Average

R. Crowston, G. Gutin, M. Jones +2

In the problem Max Lin, we are given a system $A z = b$ of $m$ linear equations with $n$ variables over $F_{2}$ in which each equation is assigned a positive weight and we wish…

A New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and its Algorithmic Applications

Systems of Linear Equations over F2​ and Problems Parameterized Above Average

Systems of Linear Equations over $F_{2}$ and Problems Parameterized Above Average