Entry Ben-Sasson:1999:RCH from focs1990.bib
Last update: Thu Sep 27 02:15:07 MDT 2018
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
Y |
Z
BibTeX entry
@InProceedings{Ben-Sasson:1999:RCH,
author = "E. Ben-Sasson and R. Impagliazzo",
title = "Random {CNF}s are hard for the polynomial calculus",
crossref = "IEEE:1999:ASF",
pages = "415--421",
year = "1999",
bibdate = "Thu Apr 5 06:13:53 MDT 2001",
bibsource = "http://www.math.utah.edu/pub/tex/bib/focs1990.bib",
acknowledgement = ack-nhfb,
}
Related entries
- calculus,
0(0)187,
0(0)422
- hard,
0(0)92,
0(0)177,
0(0)284,
0(0)523,
0(0)538,
0(0)627,
2(0)746,
2(0)812
- Impagliazzo, R.,
0(0)181,
0(0)249,
0(0)374,
0(0)538,
0(0)653,
0(0)692,
0(0)734,
0(0)794,
0(0)802,
1(0)318,
2(0)812
- polynomial,
0(0)2,
0(0)24,
0(0)46,
0(0)115,
0(0)130,
0(0)131,
0(0)186,
0(0)264,
0(0)294,
0(0)304,
0(0)342,
0(0)352,
0(0)378,
0(0)396,
0(0)422,
0(0)422,
0(0)436,
0(0)463,
0(0)480,
0(0)514,
0(0)566,
0(0)581,
0(0)592,
0(0)656,
0(0)662,
0(0)670,
0(0)682,
0(0)703,
0(0)725,
1(0)65,
1(0)152,
1(0)439,
2(0)632,
2(0)847
- random,
0(0)14,
0(0)79,
0(0)84,
0(0)120,
0(0)204,
0(0)230,
0(0)264,
0(0)264,
0(0)369,
0(0)389,
0(0)463,
0(0)508,
0(0)533,
0(0)558,
0(0)586,
0(0)616,
0(0)680,
1(0)308,
2(0)534,
2(0)544,
2(0)689,
2(0)812