BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
J.Ding N.Sun E.Mossel J.Neeman
Talks about:
threshold (2) satisfi (2) model (2) reconstruct (1) conjectur (1) regular (1) consist (1) random (1) bisect (1) proof (1)

Person: Allan Sly

DBLP DBLP: Sly:Allan

Contributed to:

STOC 20152015
STOC 20142014
STOC 20092009

Wrote 4 papers:

STOC-2015-DingSS #proving #satisfiability #scalability
Proof of the Satisfiability Conjecture for Large k (JD, AS, NS), pp. 59–68.
STOC-2015-MosselNS #consistency
Consistency Thresholds for the Planted Bisection Model (EM, JN, AS), pp. 69–75.
STOC-2014-DingSS #random #satisfiability
Satisfiability threshold for random regular NAE-SAT (JD, AS, NS), pp. 814–822.
STOC-2009-Sly #re-engineering
Reconstruction for the Potts model (AS), pp. 581–590.

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.