Cocco, S.; Monasson, R.; Posani, L.; Rosay, S.; Tubiana, J. Statistical physics and representations in real and artificial neural networks. (English) Zbl 1514.82164 Physica A 504, 45-76 (2018). MSC: 82C32 PDFBibTeX XMLCite \textit{S. Cocco} et al., Physica A 504, 45--76 (2018; Zbl 1514.82164) Full Text: DOI arXiv
Cocco, Simona; Monasson, Rémi Restarts and exponential acceleration of the Davis-Putnam-Loveland-Logemann algorithm: A large deviation analysis of the generalized unit clause heuristic for random 3-SAT. (English) Zbl 1100.68576 Ann. Math. Artif. Intell. 43, No. 1-4, 153-172 (2005). MSC: 68Q25 68T20 PDFBibTeX XMLCite \textit{S. Cocco} and \textit{R. Monasson}, Ann. Math. Artif. Intell. 43, No. 1--4, 153--172 (2005; Zbl 1100.68576) Full Text: DOI arXiv
Cocco, Simona; Monasson, Rémi Heuristic average-case analysis of the backtrack resolution of random 3-satisfiability instances. (English) Zbl 1068.68067 Theor. Comput. Sci. 320, No. 2-3, 345-372 (2004). MSC: 68Q25 60C05 68W40 PDFBibTeX XMLCite \textit{S. Cocco} and \textit{R. Monasson}, Theor. Comput. Sci. 320, No. 2--3, 345--372 (2004; Zbl 1068.68067) Full Text: DOI
Biroli, Giulio; Cocco, Simona; Monasson, Rémi Phase transitions and complexity in computer science: An overview of the statistical physics approach to the random satisfiability problem. (English) Zbl 0994.68071 Physica A 306, 381-394 (2002). MSC: 68Q19 PDFBibTeX XMLCite \textit{G. Biroli} et al., Physica A 306, 381--394 (2002; Zbl 0994.68071) Full Text: DOI