Smooth and sharp thresholds for random ::::k::::-XOR-CNF satisfiability

Nadia Creignou, Hervé Daudé. Smooth and sharp thresholds for random ::::k::::-XOR-CNF satisfiability. ITA, 37(2):127-147, 2003. [doi]

Abstract

Abstract is missing.