Linearity and Unprovability of Set Union Problem Strategies

Martin Loebl, Jaroslav Nesetril

Browse the full STOC paper archive.