3 × USA
J.Ding N.Sun ∅ E.Mossel J.Neeman
threshold (2) satisfi (2) model (2) reconstruct (1) conjectur (1) regular (1) consist (1) random (1) bisect (1) proof (1)
Person: Allan Sly
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.