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.

Authors

Nadia Creignou

This author has not been identified. Look up 'Nadia Creignou' in Google

Hervé Daudé

This author has not been identified. Look up 'Hervé Daudé' in Google

Olivier Dubois

This author has not been identified. Look up 'Olivier Dubois' in Google