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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.