Nadia Creignou, Hervé Daudé, Olivier Dubois. Approximating The Satisfiability Threshold For Random K-Xor-Formulas. Combinatorics, Probability & Computing, 12(2):113-126, 2003.
@article{CreignouDD03,
title = {Approximating The Satisfiability Threshold For Random K-Xor-Formulas},
author = {Nadia Creignou and Hervé Daudé and Olivier Dubois},
year = {2003},
researchr = {https://researchr.org/publication/CreignouDD03},
cites = {0},
citedby = {0},
journal = {Combinatorics, Probability & Computing},
volume = {12},
number = {2},
pages = {113-126},
}