Satisfiability Threshold for Random XOR-CNF Formulas

Nadia Creignou, Hervé Daudé. Satisfiability Threshold for Random XOR-CNF Formulas. Discrete Applied Mathematics, 96-97:41-53, 1999. [doi]

Abstract

Abstract is missing.