Computational complexity of some restricted instances of 3-SAT

Bibliographic Details
Main Authors: Berman, P, Karpinski, M, Scott, A
Format: Journal article
Published: 2007