`Travelled to:`

1 × Italy

2 × USA

`Collaborated with:`

S.Cocco G.Semerjian

`Talks about:`

random (4) resolut (2) instanc (2) analysi (2) physic (2) method (2) sat (2) exponenti (1) backtrack (1) algorithm (1)

## Person: Rémi Monasson

### DBLP: Monasson:R=eacute=mi

### Contributed to:

### Wrote 3 papers:

- SAT-2003-SemerjianM #case study #physics #problem #random #satisfiability
- A Study of Pure Random Walk on Random Satisfiability Problems with “Physical” Methods (GS, RM), pp. 120–134.
- SAT-2002-MonassonC #algorithm #analysis #exponential #random #satisfiability #scalability
- Restart method and exponential acceleration of random 3-SAT instances resolutions: A large deviation analysis of the Davis-Putnam-Loveland-Logemann algorithm (RM, SC), p. 11.
- SAT-2001-CoccoM #analysis #backtracking #physics #random #satisfiability #statistics
- Statistical physics analysis of the backtrack resolution of random 3-SAT instances (SC, RM), pp. 36–47.