Formal Probabilistic Methods for Combinatorial Structures using the Lovsz Local Lemma.

Chelsea Edmonds, Lawrence C. Paulson

Browse the full CPP paper archive.