Generalized CNF Satisfiability Problems and Non-Efficient

Harry B. Hunt III, Madhav V. Marathe, Richard Edwin Stearns. Generalized CNF Satisfiability Problems and Non-Efficient. In Structure in Complexity Theory Conference. pages 356-366, 1994.

Abstract

Abstract is missing.