Finding irrefutable certificates for S2p via Arthur and MerlinVenkatesan T. ChakaravarthySambuddha Roy2008STACS 2008
Deterministically isolating a perfect matching in bipartite planar graphsSamir DattaRaghav Kulkarniet al.2008STACS 2008