BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
J.Ding A.Sly
Talks about:
satisfi (2) threshold (1) conjectur (1) regular (1) random (1) proof (1) larg (1) sat (1) nae (1)

Person: Nike Sun

DBLP DBLP: Sun:Nike

Contributed to:

STOC 20152015
STOC 20142014

Wrote 2 papers:

STOC-2015-DingSS #proving #satisfiability #scalability
Proof of the Satisfiability Conjecture for Large k (JD, AS, NS), pp. 59–68.
STOC-2014-DingSS #random #satisfiability
Satisfiability threshold for random regular NAE-SAT (JD, AS, NS), pp. 814–822.
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.