Linearity and Unprovability of Set Union Problem Strategies

Martin Loebl, Jaroslav Nesetril. Linearity and Unprovability of Set Union Problem Strategies. In Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing, 2-4 May 1988, Chicago, Illinois, USA. pages 360-366, ACM, 1988.

Abstract

Abstract is missing.