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:
6 × USA
Collaborated with:
R.Impagliazzo C.K.Poon M.Adler J.Matousek M.Clegg D.D.Chinn T.Brecht X.Deng P.Beame S.A.Cook T.Pitassi
Talks about:
schedul (2) connect (2) space (2) optim (2) time (2) multiprocessor (1) characterist (1) probabilist (1) unsatisfi (1) algorithm (1)

Person: Jeff Edmonds

DBLP DBLP: Edmonds:Jeff

Contributed to:

STOC 20052005
STOC 19991999
STOC 19971997
STOC 19961996
STOC 19951995
STOC 19931993

Wrote 7 papers:

STOC-2005-AdlerEM #probability #towards
Towards asymptotic optimality in probabilistic packet marking (MA, JE, JM), pp. 450–459.
STOC-1999-Edmonds #scheduling
Scheduling in the Dark (JE), pp. 179–188.
STOC-1997-EdmondsCBD #execution #multi #scheduling
Non-clairvoyant Multiprocessor Scheduling of Jobs with Changing Execution Characteristics (JE, DDC, TB, XD), pp. 120–129.
STOC-1996-CleggEI #algorithm #proving #satisfiability #using
Using the Groebner Basis Algorithm to Find Proofs of Unsatisfiability (MC, JE, RI), pp. 174–183.
STOC-1995-BeameCEIP #complexity #problem
The relative complexity of NP search problems (PB, SAC, JE, RI, TP), pp. 303–314.
STOC-1995-EdmondsP #bound
A nearly optimal time-space lower bound for directed st-connectivity on the NNJAG model (JE, CKP), pp. 147–156.
STOC-1993-Edmonds #trade-off
Time-space trade-offs for undirected st-connectivity on a JAG (JE), pp. 718–727.

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.