Approximating minimum unsatisfiability of linear equations

Piotr Berman, Marek Karpinski. Approximating minimum unsatisfiability of linear equations. In SODA. pages 514-516, 2002. [doi]

Abstract

Abstract is missing.