Approximating The Satisfiability Threshold For Random K-Xor-Formulas

Nadia Creignou, Hervé Daudé, Olivier Dubois. Approximating The Satisfiability Threshold For Random K-Xor-Formulas. Combinatorics, Probability & Computing, 12(2):113-126, 2003.

Abstract

Abstract is missing.