TY  - RPRT
TI  - Approximating the satisfiability threshold for random k-XOR-formulas
AU  - Nadia Creignou
AU  - Herve Daude
AU  - Olivier Dubois
PY  - 2001
UR  - https://arxiv.org/abs/cs/0106001
ID  - cs/0106001
ER  -