NP by Means of Lifts and Shadows.

Gbor Kun, Jaroslav Nesetril

Browse the full MFCS paper archive.