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