Approximating Minimum Unsatisfiability of Linear Equations

Piotr Berman, Marek Karpinski. Approximating Minimum Unsatisfiability of Linear Equations. Electronic Colloquium on Computational Complexity (ECCC), 8(25), 2001. [doi]

Abstract

Abstract is missing.