| |
| 2005 | ||
|---|---|---|
| 5 | EE | 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 | EE | Simona Cocco, Rémi Monasson: Heuristic average-case analysis of the backtrack resolution of random 3-Satisfiability instances CoRR cs.DS/0401011: (2004) |
| 3 | EE | 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 | EE | Simona Cocco, Rémi Monasson, Andrea Montanari, Guilhem Semerjian: Approximate analysis of search algorithms with "physical" methods CoRR cs.CC/0302003: (2003) |
| 2001 | ||
| 1 | EE | 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) |
| 1 | Rémi Monasson | [1] [2] [3] [4] [5] |
| 2 | Andrea Montanari | [2] |
| 3 | Guilhem Semerjian | [2] |