Sciweavers

20 search results - page 2 / 4
» focs 1997
Sort
View
123
Voted
FOCS
1997
IEEE
15 years 8 months ago
The Analysis of a List-Coloring Algorithm on a Random Graph
Dimitris Achlioptas, Michael S. O. Molloy
133
Voted
FOCS
1997
IEEE
15 years 8 months ago
Satisfiability Coding Lemma
Ramamohan Paturi, Pavel Pudlák, Francis Zan...
FOCS
1997
IEEE
15 years 9 months ago
A Concrete Security Treatment of Symmetric Encryption
Mihir Bellare, Anand Desai, E. Jokipii, Phillip Ro...
118
Voted
FOCS
1997
IEEE
15 years 9 months ago
Pattern Matching with Swaps
Amihood Amir, Yonatan Aumann, Gad M. Landau, Moshe...
FOCS
1997
IEEE
15 years 9 months ago
Making Nondeterminism Unambiguous
We show that in the context of nonuniform complexity, nondeterministic logarithmic space bounded computation can be made unambiguous. An analogous result holds for the class of pr...
Klaus Reinhardt, Eric Allender