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.
No references recorded for this publication.
No citations of this publication recorded.