The SAT-UNSAT transition for random constraint satisfaction problems

Nadia Creignou, Hervé Daudé. The SAT-UNSAT transition for random constraint satisfaction problems. Discrete Mathematics, 309(8):2085-2099, 2009. [doi]

Abstract

Abstract is missing.