BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Monasson:R=eacute=mi

Contributed to:

SAT 20032003
SAT 20022002
SAT 20012001

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.