We study two natural models of randomly generated constraint satisfaction problems. We determine how quickly the domain size must grow with n to ensure that these models are robust in the sense that they exhibit a non-trivial threshold of satisfiability, and we determine the asymptotic order of that threshold. We also provide resolution complexity lower bounds for these models. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Frieze, A., & Molloy, M. (2003). The satisfiability threshold for randomly generated binary constraint satisfaction problems. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2764, 275–289. https://doi.org/10.1007/978-3-540-45198-3_24
Mendeley helps you to discover research relevant for your work.