Approximation Hardness and Satisfiability of Bounded Occurrence Instances of SAT

Piotr Berman, Marek Karpinski, Alex D. Scott. Approximation Hardness and Satisfiability of Bounded Occurrence Instances of SAT. Electronic Colloquium on Computational Complexity (ECCC), 10(022), 2003. [doi]

Abstract

Abstract is missing.