Entry Arora:1992:PCP 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{Arora:1992:PCP,
author = "S. Arora and S. Safra",
title = "Probabilistic checking of proofs; a new
characterization of {NP}",
crossref = "IEEE:1992:ASF",
pages = "2--13",
year = "1992",
bibdate = "Thu Apr 5 06:13:50 MDT 2001",
bibsource = "http://www.math.utah.edu/pub/tex/bib/focs1990.bib",
acknowledgement = ack-nhfb,
}
Related entries
- $k$,
0(0)154,
0(0)156,
0(0)206,
0(0)292,
0(0)302,
0(0)312,
0(0)344,
0(0)378,
0(0)380,
0(0)410,
0(0)444,
0(0)573,
0(0)628,
0(0)632,
0(0)743,
2(0)454,
2(0)544
- approximate,
0(0)31,
0(0)92,
0(0)148,
0(0)171,
0(0)186,
0(0)244,
0(0)320,
0(0)501,
0(0)592,
0(0)627,
0(0)648,
0(0)703,
0(0)714,
0(0)724,
0(0)733,
1(0)116,
2(0)554
- approximation,
0(0)2,
0(0)12,
0(0)14,
0(0)24,
0(0)32,
0(0)62,
0(0)82,
0(0)154,
0(0)162,
0(0)184,
0(0)227,
0(0)244,
0(0)302,
0(0)310,
0(0)320,
0(0)322,
0(0)339,
0(0)370,
0(0)406,
0(0)416,
0(0)426,
0(0)431,
0(0)448,
0(0)459,
0(0)468,
0(0)495,
0(0)536,
0(0)547,
0(0)548,
0(0)554,
0(0)617,
0(0)640,
0(0)662,
0(0)711,
2(0)726
- Arora, S.,
0(0)2,
0(0)14,
0(0)21,
0(0)404,
0(0)554,
0(0)724
- characterization,
0(0)8,
0(0)256,
0(0)342,
0(0)716,
0(0)725,
1(0)26
- checking,
0(0)90,
0(0)258,
0(0)268,
0(0)592
- coloring,
0(0)51,
0(0)400,
0(0)444,
0(0)463,
0(0)674,
2(0)464,
2(0)470,
2(0)554
- dual, Primal-,
0(0)322
- facility,
0(0)378
- graph,
0(0)14,
0(0)21,
0(0)24,
0(0)50,
0(0)52,
0(0)60,
0(0)70,
0(0)75,
0(0)84,
0(0)86,
0(0)94,
0(0)96,
0(0)101,
0(0)118,
0(0)120,
0(0)194,
0(0)204,
0(0)210,
0(0)218,
0(0)259,
0(0)288,
0(0)296,
0(0)319,
0(0)330,
0(0)396,
0(0)398,
0(0)399,
0(0)453,
0(0)463,
0(0)480,
0(0)496,
0(0)511,
0(0)538,
0(0)577,
0(0)583,
0(0)605,
0(0)614,
0(0)640,
0(0)656,
0(0)674,
0(0)680,
0(0)693,
0(0)723,
0(0)744,
0(0)780,
0(0)793,
1(0)86,
1(0)355,
1(0)429,
1(0)439,
2(0)464,
2(0)470,
2(0)689,
2(0)708
- Jain, K.,
0(0)448
- Karger, D.,
0(0)32
- location,
0(0)160,
0(0)378,
1(0)96
- median,
0(0)125,
0(0)378,
2(0)778
- metric,
0(0)14,
0(0)62,
0(0)154,
0(0)171,
0(0)184,
0(0)379,
0(0)468
- Motwani, R.,
0(0)14,
0(0)353,
0(0)592,
0(0)819
- new,
0(0)xiii--837,
0(0)xiv--668,
0(0)21,
0(0)29,
0(0)173,
0(0)212,
0(0)314,
0(0)342,
0(0)389,
0(0)462,
0(0)472,
0(0)486,
0(0)550,
0(0)714,
1(0)96
- NP,
0(0)8,
0(0)36,
0(0)42,
0(0)52,
0(0)614,
2(0)812
- Primal-dual,
0(0)322
- probabilistic,
0(0)4,
0(0)184,
0(0)258,
0(0)410,
0(0)664,
0(0)725,
1(0)382
- problem,
0(0)2,
0(0)12,
0(0)14,
0(0)21,
0(0)40,
0(0)72,
0(0)78,
0(0)82,
0(0)110,
0(0)123,
0(0)130,
0(0)135,
0(0)140,
0(0)160,
0(0)166,
0(0)172,
0(0)177,
0(0)186,
0(0)192,
0(0)197,
0(0)214,
0(0)218,
0(0)284,
0(0)290,
0(0)299,
0(0)300,
0(0)310,
0(0)314,
0(0)322,
0(0)344,
0(0)354,
0(0)378,
0(0)378,
0(0)382,
0(0)410,
0(0)416,
0(0)422,
0(0)426,
0(0)438,
0(0)444,
0(0)448,
0(0)449,
0(0)458,
0(0)464,
0(0)465,
0(0)468,
0(0)470,
0(0)473,
0(0)495,
0(0)521,
0(0)524,
0(0)534,
0(0)538,
0(0)540,
0(0)548,
0(0)550,
0(0)554,
0(0)556,
0(0)575,
0(0)576,
0(0)579,
0(0)581,
0(0)612,
0(0)621,
0(0)622,
0(0)626,
0(0)638,
0(0)653,
0(0)670,
0(0)678,
0(0)780,
1(0)173,
2(0)583,
2(0)662,
2(0)802
- programming,
0(0)162,
0(0)488,
0(0)557,
0(0)617,
0(0)670,
0(0)770,
2(0)574,
2(0)583
- proof,
0(0)14,
0(0)18,
0(0)19,
0(0)26,
0(0)112,
0(0)254,
0(0)422,
0(0)427,
0(0)436,
0(0)466,
0(0)486,
0(0)638,
0(0)648,
0(0)794,
1(0)2,
1(0)308,
2(0)563
- Safra, S.,
0(0)2,
0(0)99
- semidefinite,
0(0)162,
0(0)472
- Sudan, M.,
0(0)8,
0(0)14,
0(0)18,
0(0)28,
0(0)41,
0(0)164,
0(0)294,
0(0)422,
0(0)432,
0(0)475,
0(0)503,
0(0)511,
0(0)604,
0(0)617,
0(0)819
- Vazirani, V. V.,
0(0)14,
0(0)144,
0(0)322,
0(0)743