Simona Cocco

	2005
5		Simona Cocco, Rémi Monasson: 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. Ann. Math. Artif. Intell. 43(1): 153-172 (2005)
	2004
4		Simona Cocco, Rémi Monasson: Heuristic average-case analysis of the backtrack resolution of random 3-Satisfiability instances CoRR cs.DS/0401011: (2004)
3		Simona Cocco, Rémi Monasson: Heuristic average-case analysis of the backtrack resolution of random 3-satisfiability instances. Theor. Comput. Sci. 320(2-3): 345-372 (2004)
	2003
2		Simona Cocco, Rémi Monasson, Andrea Montanari, Guilhem Semerjian: Approximate analysis of search algorithms with "physical" methods CoRR cs.CC/0302003: (2003)
	2001
1		Simona Cocco, Rémi Monasson: Statistical physics analysis of the backtrack resolution of random 3-SAT instances. Electronic Notes in Discrete Mathematics 9: 36-47 (2001)

Coauthor Index

1	Rémi Monasson	[1] [2] [3] [4] [5]
2	Andrea Montanari	[2]
3	Guilhem Semerjian	[2]