Title of article
The SAT–UNSAT transition for random constraint satisfaction problems
Author/Authors
Creignou، نويسنده , , Nadia and Daudé، نويسنده , , Hervé، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2009
Pages
15
From page
2085
To page
2099
Abstract
We study threshold phenomena for a large class of random constraint satisfaction problems over finite domains. Our main contribution is a complete classification of the nature (sharp or coarse) of the SAT–UNSAT transition for random Boolean CSPs, which is based on easily decidable properties.
Keywords
Sharp thresholds , phase transition , Random structures , satisfiability , Constraint satisfaction
Journal title
Discrete Mathematics
Serial Year
2009
Journal title
Discrete Mathematics
Record number
1598677
Link To Document