@article{abbe2014concentration,
  author = {Abbe, Emmanuel and Montanari, Andrea},
  title = {On the concentration of the number of solutions of random satisfiability formulas},
  journal = {Random Structures \& Algorithms},
  volume = {45},
  number = {3},
  pages = {362--382},
  year = {2014},
  doi = {10.1002/rsa.20501},
  eprint = {1006.3786},
  archiveprefix = {arXiv},
  url = {https://doi.org/10.1002/rsa.20501},
  note = {Published online April 12, 2013},
}

@inproceedings{achlioptas1997analysis,
  author = {Achlioptas, Dimitris and Molloy, Michael},
  title = {The analysis of a list-coloring algorithm on a random graph},
  booktitle = {Proceedings of the 38th Annual Symposium on Foundations of Computer Science},
  pages = {204--212},
  publisher = {IEEE},
  year = {1997},
  doi = {10.1109/SFCS.1997.646109},
  url = {https://cgi.di.uoa.gr/~optas/papers/list-coloring.pdf},
}

@article{achlioptas1999sharp,
  author = {Achlioptas, Dimitris and Friedgut, Ehud},
  title = {A sharp threshold for {$k$}-colorability},
  journal = {Random Structures \& Algorithms},
  volume = {14},
  number = {1},
  pages = {63--70},
  year = {1999},
  doi = {10.1002/(SICI)1098-2418(1999010)14:1<63::AID-RSA3>3.0.CO;2-7},
  url = {https://cgi.di.uoa.gr/~optas/papers/k-col-threshold.pdf},
}

@article{achlioptas2003almost,
  author = {Achlioptas, Dimitris and Moore, Cristopher},
  title = {Almost all graphs with average degree 4 are 3-colorable},
  journal = {Journal of Computer and System Sciences},
  volume = {67},
  number = {2},
  pages = {441--471},
  year = {2003},
  doi = {10.1016/S0022-0000(03)00120-X},
  url = {https://sites.santafe.edu/~moore/pubs/3coloring-jcss},
}

@article{achlioptas2005two,
  author = {Achlioptas, Dimitris and Naor, Assaf},
  title = {The two possible values of the chromatic number of a random graph},
  journal = {Annals of Mathematics},
  volume = {162},
  number = {3},
  pages = {1335--1351},
  year = {2005},
  doi = {10.4007/annals.2005.162.1335},
  url = {https://annals.math.princeton.edu/wp-content/uploads/annals-v162-n3-p05.pdf},
}

@article{achlioptas2009random,
  author = {Achlioptas, Dimitris and Ricci-Tersenghi, Federico},
  title = {Random formulas have frozen variables},
  journal = {SIAM Journal on Computing},
  volume = {39},
  number = {1},
  pages = {260--280},
  year = {2009},
  doi = {10.1137/070680382},
  url = {https://doi.org/10.1137/070680382},
  note = {Conference predecessor: On the solution-space geometry of random constraint satisfaction problems, STOC 2006, pp. 130--139},
}

@article{aldous1991threshold,
  author = {Aldous, David J.},
  title = {Threshold limits for cover times},
  journal = {Journal of Theoretical Probability},
  volume = {4},
  number = {1},
  pages = {197--211},
  year = {1991},
  doi = {10.1007/BF01047002},
  url = {https://doi.org/10.1007/BF01047002},
}

@article{ayre2022lower,
  author = {Ayre, Peter and Coja-Oghlan, Amin and Greenhill, Catherine},
  title = {Lower bounds on the chromatic number of random graphs},
  journal = {Combinatorica},
  volume = {42},
  pages = {617--658},
  year = {2022},
  doi = {10.1007/s00493-021-4236-z},
  eprint = {1812.09691},
  archiveprefix = {arXiv},
  url = {https://doi.org/10.1007/s00493-021-4236-z},
  note = {Published online October 26, 2021},
}

@article{bapst2016condensation,
  author = {Bapst, Victor and Coja-Oghlan, Amin and Hetterich, Samuel and Ra{\ss}mann, Felicia and Vilenchik, Dan},
  title = {The condensation phase transition in random graph coloring},
  journal = {Communications in Mathematical Physics},
  volume = {341},
  pages = {543--606},
  year = {2016},
  doi = {10.1007/s00220-015-2464-z},
  eprint = {1404.5513},
  archiveprefix = {arXiv},
  url = {https://doi.org/10.1007/s00220-015-2464-z},
}

@article{bayati2013combinatorial,
  author = {Bayati, Mohsen and Gamarnik, David and Tetali, Prasad},
  title = {Combinatorial approach to the interpolation method and scaling limits in sparse random graphs},
  journal = {The Annals of Probability},
  volume = {41},
  number = {6},
  pages = {4080--4115},
  year = {2013},
  doi = {10.1214/12-AOP816},
  eprint = {0912.2444},
  archiveprefix = {arXiv},
  primaryclass = {math.PR},
  url = {https://doi.org/10.1214/12-AOP816},
}

@article{bollobas2001scaling,
  author = {Bollob{\'a}s, B{\'e}la and Borgs, Christian and Chayes, Jennifer T. and Kim, Jeong Han and Wilson, David B.},
  title = {The scaling window of the {2-SAT} transition},
  journal = {Random Structures \& Algorithms},
  volume = {18},
  number = {3},
  pages = {201--256},
  year = {2001},
  doi = {10.1002/rsa.1006},
  eprint = {math/9909031},
  archiveprefix = {arXiv},
  url = {https://doi.org/10.1002/rsa.1006},
}

@article{boucheron2005moment,
  author = {Boucheron, St{\'e}phane and Bousquet, Olivier and Lugosi, G{\'a}bor and Massart, Pascal},
  title = {Moment inequalities for functions of independent random variables},
  journal = {The Annals of Probability},
  volume = {33},
  number = {2},
  pages = {514--560},
  year = {2005},
  doi = {10.1214/009117904000000856},
  eprint = {math/0503651},
  archiveprefix = {arXiv},
  url = {https://doi.org/10.1214/009117904000000856},
}

@book{boucheron2013concentration,
  author = {Boucheron, St{\'e}phane and Lugosi, G{\'a}bor and Massart, Pascal},
  title = {Concentration inequalities: a nonasymptotic theory of independence},
  publisher = {Oxford University Press},
  year = {2013},
  doi = {10.1093/acprof:oso/9780199535255.001.0001},
  isbn = {9780199535255},
  url = {https://doi.org/10.1093/acprof:oso/9780199535255.001.0001},
}

@article{bourgain1997influences,
  author = {Bourgain, Jean and Kalai, Gil},
  title = {Influences of variables and threshold intervals under group symmetries},
  journal = {Geometric and Functional Analysis},
  volume = {7},
  number = {3},
  pages = {438--461},
  year = {1997},
  doi = {10.1007/s000390050015},
  url = {https://doi.org/10.1007/s000390050015},
}

@incollection{bourgain1999threshold,
  author = {Bourgain, Jean and Kalai, Gil},
  title = {Threshold intervals under group symmetries},
  editor = {Ball, Keith M. and Milman, Vitali},
  booktitle = {Convex Geometric Analysis},
  series = {Mathematical Sciences Research Institute Publications},
  volume = {34},
  pages = {59--64},
  publisher = {Cambridge University Press},
  year = {1999},
  doi = {10.1017/9781009701761.006},
  url = {https://library.slmath.org/books/Book34/files/bourkalai.pdf},
  note = {Author manuscript dated 1998, pp. 59--63; print edition 1999},
}

@techreport{carenini2026polynomial,
  author = {Carenini, Gaia},
  title = {A polynomial scaling window for random {$k$}-{SAT} and a proof of the satisfiability conjecture},
  number = {TR26--229},
  institution = {Electronic Colloquium on Computational Complexity},
  year = {2026},
  month = oct,
  url = {https://eccc.weizmann.ac.il/report/2026/229/},
  note = {Preprint; October 5, 2026 report},
}

@techreport{carenini2026scaling,
  author = {Carenini, Gaia},
  title = {The scaling window of random {$k$}-{SAT}},
  number = {TR26--145},
  institution = {Electronic Colloquium on Computational Complexity},
  year = {2026},
  month = aug,
  eprint = {2609.26222},
  archiveprefix = {arXiv},
  primaryclass = {math.PR},
  url = {https://arxiv.org/abs/2609.26222v1},
  note = {Preprint, arXiv version 1, August 11, 2026; also ECCC TR26-145, published August 16, 2026},
}

@article{chvatal1991almost,
  author = {Chv{\'a}tal, V{\'a}{\v s}ek},
  title = {Almost all graphs with {$1.44n$} edges are 3-colorable},
  journal = {Random Structures \& Algorithms},
  volume = {2},
  number = {1},
  pages = {11--28},
  year = {1991},
  doi = {10.1002/rsa.3240020103},
  url = {https://doi.org/10.1002/rsa.3240020103},
}

@inproceedings{chvatal1992mick,
  author = {Chv{\'a}tal, V{\'a}{\v s}ek and Reed, Bruce},
  title = {Mick gets some (the odds are on his side)},
  booktitle = {Proceedings of the 33rd Annual Symposium on Foundations of Computer Science},
  pages = {620--627},
  publisher = {IEEE},
  year = {1992},
  doi = {10.1109/SFCS.1992.267789},
  url = {https://doi.org/10.1109/SFCS.1992.267789},
}

@article{cojaoghlan2013upper,
  author = {Coja-Oghlan, Amin},
  title = {Upper-bounding the {$k$}-colorability threshold by counting covers},
  journal = {The Electronic Journal of Combinatorics},
  volume = {20},
  number = {3},
  pages = {P32},
  year = {2013},
  doi = {10.37236/3337},
  eprint = {1305.0177},
  archiveprefix = {arXiv},
  url = {https://doi.org/10.37236/3337},
}

@article{cojaoghlan2016chromatica,
  author = {Coja-Oghlan, Amin and Vilenchik, Dan},
  title = {The chromatic number of random graphs for most average degrees},
  journal = {International Mathematics Research Notices},
  volume = {2016},
  number = {19},
  pages = {5801--5859},
  year = {2016},
  doi = {10.1093/imrn/rnv333},
  eprint = {1304.1063},
  archiveprefix = {arXiv},
  url = {https://doi.org/10.1093/imrn/rnv333},
  note = {Extended abstract: Chasing the $k$-colorability threshold, FOCS 2013, pp. 380--389},
}

@article{cojaoghlan2016chromaticb,
  author = {Coja-Oghlan, Amin and Efthymiou, Charilaos and Hetterich, Samuel},
  title = {On the chromatic number of random regular graphs},
  journal = {Journal of Combinatorial Theory, Series B},
  volume = {116},
  pages = {367--439},
  year = {2016},
  doi = {10.1016/j.jctb.2015.09.006},
  eprint = {1308.4287},
  archiveprefix = {arXiv},
  url = {https://doi.org/10.1016/j.jctb.2015.09.006},
}

@article{cojaoghlan2018information,
  author = {Coja-Oghlan, Amin and Krzakala, Florent and Perkins, Will and Zdeborov{\'a}, Lenka},
  title = {Information-theoretic thresholds from the cavity method},
  journal = {Advances in Mathematics},
  volume = {333},
  pages = {694--795},
  year = {2018},
  doi = {10.1016/j.aim.2018.05.029},
  eprint = {1611.00814},
  archiveprefix = {arXiv},
  url = {https://doi.org/10.1016/j.aim.2018.05.029},
}

@article{culberson2001frozen,
  author = {Culberson, Joseph and Gent, Ian},
  title = {Frozen development in graph coloring},
  journal = {Theoretical Computer Science},
  volume = {265},
  number = {1--2},
  pages = {227--264},
  year = {2001},
  doi = {10.1016/S0304-3975(01)00164-5},
  url = {https://doi.org/10.1016/S0304-3975(01)00164-5},
}

@article{debruijn1952some,
  author = {de Bruijn, N. G. and Erd{\H o}s, Paul},
  title = {Some linear and some quadratic recursion formulas. {II}},
  journal = {Proceedings of the Koninklijke Nederlandse Akademie van Wetenschappen, Series A},
  volume = {55},
  pages = {152--163},
  year = {1952},
  doi = {10.1016/S1385-7258(52)50021-0},
  url = {https://doi.org/10.1016/S1385-7258(52)50021-0},
  note = {Also Indagationes Mathematicae 14 (1952), 152--163; Theorems 22--23},
}

@article{ding2022proof,
  author = {Ding, Jian and Sly, Allan and Sun, Nike},
  title = {Proof of the satisfiability conjecture for large {$k$}},
  journal = {Annals of Mathematics},
  volume = {196},
  number = {1},
  pages = {1--388},
  year = {2022},
  doi = {10.4007/annals.2022.196.1.1},
  url = {https://doi.org/10.4007/annals.2022.196.1.1},
}

@misc{dubois2002noncolourability,
  author = {Dubois, Olivier and Mandler, Jacques},
  title = {On the non-3-colourability of random graphs},
  year = {2002},
  eprint = {math/0209087},
  archiveprefix = {arXiv},
  primaryclass = {math.CO},
  url = {https://arxiv.org/abs/math/0209087v1},
  note = {Preprint, version 1, September 9, 2002},
}

@article{dubois2002xorsat,
  author = {Dubois, Olivier and Mandler, Jacques},
  title = {The 3-{XORSAT} threshold},
  journal = {Comptes Rendus Math{\'e}matique},
  volume = {335},
  number = {11},
  pages = {963--966},
  year = {2002},
  doi = {10.1016/S1631-073X(02)02563-3},
  url = {https://doi.org/10.1016/S1631-073X(02)02563-3},
}

@article{efron1981jackknife,
  author = {Efron, Bradley and Stein, Charles},
  title = {The jackknife estimate of variance},
  journal = {The Annals of Statistics},
  volume = {9},
  number = {3},
  pages = {586--596},
  year = {1981},
  doi = {10.1214/aos/1176345462},
  url = {https://doi.org/10.1214/aos/1176345462},
}

@article{erdos1960evolution,
  author = {Erd{\H o}s, Paul and R{\'e}nyi, Alfr{\'e}d},
  title = {On the evolution of random graphs},
  journal = {A Magyar Tudom{\'a}nyos Akad{\'e}mia Matematikai Kutat{\'o} Int{\'e}zet{\'e}nek K{\"o}zlem{\'e}nyei},
  volume = {5},
  pages = {17--61},
  year = {1960},
  url = {https://users.renyi.hu/~p_erdos/1960-10.pdf},
}

@article{franz2003replicaa,
  author = {Franz, Silvio and Leone, Michele},
  title = {Replica bounds for optimization problems and diluted spin systems},
  journal = {Journal of Statistical Physics},
  volume = {111},
  number = {3--4},
  pages = {535--564},
  year = {2003},
  doi = {10.1023/A:1022885828956},
  eprint = {cond-mat/0208280},
  archiveprefix = {arXiv},
  url = {https://doi.org/10.1023/A:1022885828956},
}

@article{friedgut1996every,
  author = {Friedgut, Ehud and Kalai, Gil},
  title = {Every monotone graph property has a sharp threshold},
  journal = {Proceedings of the American Mathematical Society},
  volume = {124},
  number = {10},
  pages = {2993--3002},
  year = {1996},
  doi = {10.1090/S0002-9939-96-03732-X},
  url = {https://doi.org/10.1090/S0002-9939-96-03732-X},
}

@article{friedgut1999sharp,
  author = {Friedgut, Ehud},
  title = {Sharp thresholds of graph properties, and the {$k$}-{SAT} problem},
  journal = {Journal of the American Mathematical Society},
  volume = {12},
  number = {4},
  pages = {1017--1054},
  year = {1999},
  doi = {10.1090/S0894-0347-99-00305-7},
  url = {https://doi.org/10.1090/S0894-0347-99-00305-7},
  note = {With an appendix by Jean Bourgain},
}

@book{frieze2016introduction,
  author = {Frieze, Alan and Karo{\'n}ski, Micha{\l}},
  title = {Introduction to random graphs},
  publisher = {Cambridge University Press},
  year = {2016},
  doi = {10.1017/CBO9781316339831},
  isbn = {9781107118508},
  url = {https://doi.org/10.1017/CBO9781316339831},
}

@article{furedi2020nearly,
  author = {F{\"u}redi, Zolt{\'a}n and Ruzsa, Imre Z.},
  title = {Nearly subadditive sequences},
  journal = {Acta Mathematica Hungarica},
  volume = {161},
  number = {2},
  pages = {401--411},
  year = {2020},
  doi = {10.1007/s10474-020-01071-0},
  eprint = {1810.11723},
  archiveprefix = {arXiv},
  url = {https://doi.org/10.1007/s10474-020-01071-0},
}

@article{goerdt1996threshold,
  author = {Goerdt, Andreas},
  title = {A threshold for unsatisfiability},
  journal = {Journal of Computer and System Sciences},
  volume = {53},
  number = {3},
  pages = {469--486},
  year = {1996},
  doi = {10.1006/jcss.1996.0081},
  url = {https://doi.org/10.1006/jcss.1996.0081},
}

@article{guerra2002thermodynamic,
  author = {Guerra, Francesco and Toninelli, Fabio Lucio},
  title = {The thermodynamic limit in mean field spin glass models},
  journal = {Communications in Mathematical Physics},
  volume = {230},
  number = {1},
  pages = {71--79},
  year = {2002},
  doi = {10.1007/s00220-002-0699-y},
  eprint = {cond-mat/0204280},
  archiveprefix = {arXiv},
  url = {https://doi.org/10.1007/s00220-002-0699-y},
}

@article{hajek1982hitting,
  author = {Hajek, Bruce},
  title = {Hitting-time and occupation-time bounds implied by drift analysis with applications},
  journal = {Advances in Applied Probability},
  volume = {14},
  number = {3},
  pages = {502--525},
  year = {1982},
  doi = {10.2307/1426671},
  url = {https://doi.org/10.2307/1426671},
}

@book{janson2000random,
  author = {Janson, Svante and {\L}uczak, Tomasz and Ruci{\'n}ski, Andrzej},
  title = {Random graphs},
  publisher = {John Wiley \& Sons},
  year = {2000},
  doi = {10.1002/9781118032718},
  isbn = {9780471175414},
  url = {https://doi.org/10.1002/9781118032718},
}

@article{kaporis2000note,
  author = {Kaporis, Alexis C. and Kirousis, Lefteris M. and Stamatiou, Yannis C.},
  title = {A note on the non-colorability threshold of a random graph},
  journal = {The Electronic Journal of Combinatorics},
  volume = {7},
  number = {1},
  pages = {R29},
  year = {2000},
  doi = {10.37236/1507},
  url = {https://doi.org/10.37236/1507},
}

@article{krzakala2004threshold,
  author = {Krzakala, Florent and Pagnani, Andrea and Weigt, Martin},
  title = {Threshold values, stability analysis, and high-{$q$} asymptotics for the coloring problem on random graphs},
  journal = {Physical Review E},
  volume = {70},
  pages = {046705},
  year = {2004},
  doi = {10.1103/PhysRevE.70.046705},
  eprint = {cond-mat/0403725},
  archiveprefix = {arXiv},
  url = {https://doi.org/10.1103/PhysRevE.70.046705},
}

@article{krzakala2007gibbs,
  author = {Krzakala, Florent and Montanari, Andrea and Ricci-Tersenghi, Federico and Semerjian, Guilhem and Zdeborov{\'a}, Lenka},
  title = {{Gibbs} states and the set of solutions of random constraint satisfaction problems},
  journal = {Proceedings of the National Academy of Sciences},
  volume = {104},
  number = {25},
  pages = {10318--10323},
  year = {2007},
  doi = {10.1073/pnas.0703685104},
  eprint = {cond-mat/0612365},
  archiveprefix = {arXiv},
  url = {https://pmc.ncbi.nlm.nih.gov/articles/PMC1965511/},
}

@book{last2018lectures,
  author = {Last, G{\"u}nter and Penrose, Mathew},
  title = {Lectures on the {Poisson} process},
  series = {Institute of Mathematical Statistics Textbooks},
  volume = {7},
  publisher = {Cambridge University Press},
  year = {2018},
  doi = {10.1017/9781316104477},
  isbn = {9781107088016},
  url = {https://doi.org/10.1017/9781316104477},
  note = {First published 2018; Cambridge online publication October 26, 2017},
}

@article{mecke1967stationare,
  author = {Mecke, Joseph},
  title = {Station{\"a}re zuf{\"a}llige {Ma{\ss}e} auf lokalkompakten {Abelschen Gruppen}},
  journal = {Zeitschrift f{\"u}r Wahrscheinlichkeitstheorie und Verwandte Gebiete},
  volume = {9},
  number = {1},
  pages = {36--58},
  year = {1967},
  doi = {10.1007/BF00535466},
  url = {https://doi.org/10.1007/BF00535466},
}

@article{molloy2018freezing,
  author = {Molloy, Michael},
  title = {The freezing threshold for {$k$}-colourings of a random graph},
  journal = {Journal of the ACM},
  volume = {65},
  number = {2},
  pages = {7:1--7:62},
  year = {2018},
  doi = {10.1145/3034781},
  url = {https://www.cs.toronto.edu/~molloy/webpapers/frozencol15.pdf},
  note = {A shorter version appeared in STOC 2012, pp. 921--930},
}

@article{monasson1996entropy,
  author = {Monasson, R{\'e}mi and Zecchina, Riccardo},
  title = {Entropy of the {$K$}-satisfiability problem},
  journal = {Physical Review Letters},
  volume = {76},
  number = {21},
  pages = {3881--3885},
  year = {1996},
  doi = {10.1103/PhysRevLett.76.3881},
  eprint = {cond-mat/9603014},
  archiveprefix = {arXiv},
  url = {https://doi.org/10.1103/PhysRevLett.76.3881},
}

@article{monasson1999determining,
  author = {Monasson, R{\'e}mi and Zecchina, Riccardo and Kirkpatrick, Scott and Selman, Bart and Troyansky, Lidror},
  title = {Determining computational complexity from characteristic `phase transitions'},
  journal = {Nature},
  volume = {400},
  pages = {133--137},
  year = {1999},
  doi = {10.1038/22055},
  url = {https://doi.org/10.1038/22055},
}

@article{mulet2002coloring,
  author = {Mulet, Roberto and Pagnani, Andrea and Weigt, Martin and Zecchina, Riccardo},
  title = {Coloring random graphs},
  journal = {Physical Review Letters},
  volume = {89},
  pages = {268701},
  year = {2002},
  doi = {10.1103/PhysRevLett.89.268701},
  eprint = {cond-mat/0208460},
  archiveprefix = {arXiv},
  url = {https://doi.org/10.1103/PhysRevLett.89.268701},
}

@misc{openai2026limiting,
  author = {{OpenAI}},
  title = {A limiting satisfiability threshold for every fixed clause size},
  year = {2026},
  month = sep,
  howpublished = {OpenAI Math Release preprint},
  url = {https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/A-Limiting-Satisfiability-Threshold-for-Every-Fixed-Clause-Size-September-25-2026/article.pdf},
  note = {Unrefereed preprint; manuscript dated September 25, 2026; repository version fd4aeeb},
}

@misc{openai2026graphthreshold,
  author = {{OpenAI}},
  title = {A sharp threshold bound for monotone graph properties},
  year = {2026},
  month = sep,
  howpublished = {OpenAI Math Release preprint},
  url = {https://github.com/openai/math/blob/7ef5c0cc5ca4b0e072b7a050fca09ab24bc6fa3a/preprints/A-Sharp-Threshold-Bound-for-Monotone-Graph-Properties-September-25-2026/paper.pdf},
  note = {Unrefereed preprint; manuscript dated September 25, 2026; repository version 7ef5c0c},
}

@misc{openai2026linear,
  author = {{OpenAI}},
  title = {Linear variance of the random {3-SAT} hitting time},
  year = {2026},
  month = oct,
  howpublished = {OpenAI Math Release preprint},
  url = {https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Linear-Variance-of-the-Random-3-SAT-Hitting-Time-October-5-2026/linear-variance-of-the-random-3-sat-hitting-time.pdf},
  note = {Unrefereed preprint; manuscript dated October 5, 2026; repository version fd4aeeb},
}

@misc{openai2026variance,
  author = {{OpenAI}},
  title = {Variance of the random {$k$}-{SAT} hitting time},
  year = {2026},
  month = sep,
  howpublished = {OpenAI Math Release preprint},
  url = {https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Variance-of-the-Random-k-SAT-Hitting-Time-September-27-2026/article.pdf},
  note = {Unrefereed preprint; manuscript dated September 27, 2026; repository version fd4aeeb},
}

@article{panchenko2004bounds,
  author = {Panchenko, Dmitry and Talagrand, Michel},
  title = {Bounds for diluted mean-fields spin glass models},
  journal = {Probability Theory and Related Fields},
  volume = {130},
  number = {3},
  pages = {319--336},
  year = {2004},
  doi = {10.1007/s00440-004-0342-2},
  eprint = {math/0405357},
  archiveprefix = {arXiv},
  url = {https://doi.org/10.1007/s00440-004-0342-2},
}

@article{perkins2025searching,
  author = {Perkins, Will},
  title = {Searching for (sharp) thresholds in random structures: where are we now?},
  journal = {Bulletin of the American Mathematical Society},
  volume = {62},
  number = {1},
  pages = {113--143},
  year = {2025},
  doi = {10.1090/bull/1857},
  eprint = {2401.01800},
  archiveprefix = {arXiv},
  url = {https://doi.org/10.1090/bull/1857},
  note = {Online publication October 30, 2024},
}

@article{pittel2010frequently,
  author = {Pittel, Boris and Yeum, Ji-A},
  title = {How frequently is a system of 2-linear {Boolean} equations solvable?},
  journal = {The Electronic Journal of Combinatorics},
  volume = {17},
  number = {1},
  pages = {R92},
  year = {2010},
  doi = {10.37236/364},
  eprint = {1005.1951},
  archiveprefix = {arXiv},
  url = {https://doi.org/10.37236/364},
}

@article{pittel2016satisfiability,
  author = {Pittel, Boris and Sorkin, Gregory B.},
  title = {The satisfiability threshold for {$k$}-{XORSAT}},
  journal = {Combinatorics, Probability and Computing},
  volume = {25},
  number = {2},
  pages = {236--268},
  year = {2016},
  doi = {10.1017/S0963548315000097},
  url = {https://doi.org/10.1017/S0963548315000097},
}

@article{read1968introduction,
  author = {Read, Ronald C.},
  title = {An introduction to chromatic polynomials},
  journal = {Journal of Combinatorial Theory},
  volume = {4},
  number = {1},
  pages = {52--71},
  year = {1968},
  doi = {10.1016/S0021-9800(68)80087-0},
  url = {https://doi.org/10.1016/S0021-9800(68)80087-0},
}

@article{russo1982approximate,
  author = {Russo, Lucio},
  title = {An approximate zero-one law},
  journal = {Zeitschrift f{\"u}r Wahrscheinlichkeitstheorie und Verwandte Gebiete},
  volume = {61},
  number = {1},
  pages = {129--139},
  year = {1982},
  doi = {10.1007/BF00537230},
  url = {https://doi.org/10.1007/BF00537230},
}

@article{semerjian2008freezing,
  author = {Semerjian, Guilhem},
  title = {On the freezing of variables in random constraint satisfaction problems},
  journal = {Journal of Statistical Physics},
  volume = {130},
  number = {2},
  pages = {251--293},
  year = {2008},
  doi = {10.1007/s10955-007-9417-7},
  eprint = {0705.2147},
  archiveprefix = {arXiv},
  url = {https://doi.org/10.1007/s10955-007-9417-7},
}

@article{steele1986efron,
  author = {Steele, J. Michael},
  title = {An {Efron--Stein} inequality for nonsymmetric statistics},
  journal = {The Annals of Statistics},
  volume = {14},
  number = {2},
  pages = {753--758},
  year = {1986},
  doi = {10.1214/aos/1176349952},
  url = {https://doi.org/10.1214/aos/1176349952},
}

@article{wilson2002critical,
  author = {Wilson, David B.},
  title = {On the critical exponents of random {$k$}-{SAT}},
  journal = {Random Structures \& Algorithms},
  volume = {21},
  number = {2},
  pages = {182--195},
  year = {2002},
  doi = {10.1002/rsa.10050},
  eprint = {math/0005136},
  archiveprefix = {arXiv},
  url = {https://doi.org/10.1002/rsa.10050},
}

@article{zdeborova2007phase,
  author = {Zdeborov{\'a}, Lenka and Krzakala, Florent},
  title = {Phase transitions in the coloring of random graphs},
  journal = {Physical Review E},
  volume = {76},
  pages = {031131},
  year = {2007},
  doi = {10.1103/PhysRevE.76.031131},
  eprint = {0704.1269},
  archiveprefix = {arXiv},
  url = {https://doi.org/10.1103/PhysRevE.76.031131},
}

@book{grimmett2018probability,
  author    = {Grimmett, Geoffrey},
  title     = {Probability on Graphs: Random Processes on Graphs and Lattices},
  edition   = {Second},
  series    = {Institute of Mathematical Statistics Textbooks},
  volume    = {8},
  publisher = {Cambridge University Press},
  address   = {Cambridge},
  year      = {2018},
  doi       = {10.1017/9781108528986},
  url       = {https://doi.org/10.1017/9781108528986}
}