Constraint satisfaction: random regular k-SAT

DOI10.1093/acprof:oso/9780198743736.003.0007zbMath1344.68213OpenAlexW2483028124MaRDI QIDQ2990202

Amin Coja-Oghlan

Publication date: 29 July 2016

Published in: Statistical Physics, Optimization, Inference, and Message-Passing Algorithms (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/acprof:oso/9780198743736.003.0007

zbMATH Keywords

phase transitioncavity methodk-SAT problemswhitening process

Mathematics Subject Classification ID

Combinatorial probability (60C05) Phase transitions (general) in equilibrium statistical mechanics (82B26) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

Unnamed Item ⋮ Satisfiability threshold for random regular \textsc{nae-sat}

This page was built for publication: Constraint satisfaction: random regular k-SAT