@InProceedings{bapst_et_al:LIPIcs.APPROX-RANDOM.2016.22, author = {Bapst, Victor and Coja-Oghlan, Amin}, title = {{The Condensation Phase Transition in the Regular k-SAT Model}}, booktitle = {Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2016)}, pages = {22:1--22:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-018-7}, ISSN = {1868-8969}, year = {2016}, volume = {60}, editor = {Jansen, Klaus and Mathieu, Claire and Rolim, Jos\'{e} D. P. and Umans, Chris}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.APPROX-RANDOM.2016.22}, URN = {urn:nbn:de:0030-drops-66452}, doi = {10.4230/LIPIcs.APPROX-RANDOM.2016.22}, annote = {Keywords: random k-SAT, phase transitions, Belief Propagation, condensation} }