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:
200320022001Wrote 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.