Computational complexity of some restricted instances of 3-SAT

Piotr Berman, Marek Karpinski, Alexander D. Scott. Computational complexity of some restricted instances of 3-SAT. Discrete Applied Mathematics, 155(5):649-653, 2007. [doi]

Abstract

Abstract is missing.