Knowledge (XXG)

Symposium on Theory of Computing

Source đź“ť

1149: 100:
Since 2003, STOC has presented one or more Best Paper Awards to recognize papers of the highest quality at the conference. In addition, the Danny Lewin Best Student Paper Award is awarded to the author(s) of the best student-only-authored paper in STOC. The award is named in honor of
1602: 69:) are considered the two top conferences in theoretical computer science, considered broadly: they “are forums for some of the best work throughout theory of computing that promote breadth among theory of computing researchers and help to keep the community together.” 86: 1682: 1210: 1722: 1627: 1697: 1854: 1767: 1742: 1787: 1481: 1782: 1612: 1844: 1792: 1203: 1813: 1717: 1707: 1667: 1607: 1662: 1637: 1311: 1702: 1642: 1597: 1849: 1692: 1672: 1196: 66: 1712: 1285: 1677: 1762: 1632: 201: 543: 1727: 1687: 914: 888: 1752: 1584: 1526: 1431: 1401: 1227: 1219: 47: 1732: 401: 364: 320: 276: 239: 1033: 609: 563: 526: 489: 445: 1818: 1757: 1647: 688: 1622: 1446: 995:"Remarks made by Tom Leighton to commemorate the naming of the STOC Best Student Paper Award in honor of the late Daniel Lewin" 894: 935: 1657: 73:
includes regular attendance at STOC and FOCS as one of several defining characteristics of theoretical computer scientists.
1617: 882: 43: 1426: 1559: 1441: 975: 1539: 1476: 1456: 1182: 1436: 93:
for outstanding contributions to the foundations of computer science is presented alternately at STOC and at
859:"Examining classical graph-theory problems from the viewpoint of formal-verification methods" (Keynote Talk) 46:. STOC has been organized annually since 1969, typically in May or June; the conference is sponsored by the 173: 1471: 1466: 1554: 1512: 1071: 717: 110: 17: 1772: 1549: 1168: 763: 381: 138: 106: 85:
for outstanding papers in theoretical computer science is presented alternately at STOC and at the
39: 648:"The Extent and Limitations of Mechanistic Explanations of Nature" (2010 ACM Turing Award Lecture) 1823: 1534: 1122: 1088: 1054: 699: 569: 532: 495: 451: 407: 370: 344: 326: 282: 245: 134: 788: 428:(2007), "Distributed computing theory: algorithms, impossibility results, models, and proofs", 1461: 1451: 643: 605: 559: 522: 485: 441: 397: 360: 316: 272: 235: 158: 54:. Acceptance rate of STOC, averaged from 1970 to 2012, is 31%, with the rate of 29% in 2012. 1564: 1114: 1100: 1080: 1044: 1008: 728: 625: 595: 587: 551: 514: 477: 469: 433: 389: 352: 308: 264: 227: 592:
Proceedings of the 41st annual ACM symposium on Symposium on theory of computing - STOC '09
1574: 1105: 814: 169: 154: 150: 146: 142: 102: 1148: 305:
Proceedings of the thirty-seventh annual ACM symposium on Theory of computing - STOC '05
1592: 1502: 865: 854: 506: 386:
Proceedings of the thirty-eighth annual ACM symposium on Theory of computing - STOC '06
349:
Proceedings of the thirty-eighth annual ACM symposium on Theory of computing - STOC '06
122: 82: 1188: 771: 430:
Proceedings of the thirty-ninth annual ACM symposium on Theory of computing - STOC '07
261:
Proceedings of the thirty-sixth annual ACM symposium on Theory of computing - STOC '04
224:
Proceedings of the thirty-sixth annual ACM symposium on Theory of computing - STOC '04
1838: 1092: 843: 742: 300: 256: 219: 197: 130: 105:, an American-Israeli mathematician and entrepreneur who co-founded Internet company 1126: 736: 536: 499: 455: 411: 374: 330: 286: 249: 1544: 1416: 1301: 1058: 1029: 955: 825: 573: 994: 1164: 750: 711: 548:
Proceedings of the fortieth annual ACM symposium on Theory of computing - STOC 08
511:
Proceedings of the fortieth annual ACM symposium on Theory of computing - STOC 08
474:
Proceedings of the fortieth annual ACM symposium on Theory of computing - STOC 08
347:(2006), "The changing face of web search: algorithms, auctions and advertising", 1507: 1497: 1256: 1178: 1066: 654: 425: 259:(2004), "Depth through breadth, or why should we attend talks in other areas?", 90: 1103:(1984), "The genealogy of theoretical computer science: a preliminary report", 1421: 1391: 1355: 1329: 1324: 1306: 1240: 777: 126: 51: 819:"The Interplay of Sampling and Optimization in High Dimension" (Invited Talk) 1652: 1569: 1345: 1235: 1174: 1118: 675:"Warehouse-Scale Computing: Entering the Teenage Decade" (FCRC Plenary Talk) 600: 555: 518: 481: 437: 393: 356: 312: 268: 231: 619: 1084: 1049: 1747: 1069:(1996), "Infrastructure issues related to theory of computing research", 659:"Algorithms: Recent Highlights and Challenges" (2011 Knuth Prize Lecture) 581: 463: 419: 338: 294: 213: 979: 1737: 1386: 1378: 1360: 1275: 682: 630:"Approximation Algorithms in Theory and Practice" (Knuth Prize Lecture) 1373: 1368: 1350: 1319: 1290: 1280: 1270: 1154: 189: 185: 830:"Computational Geometry, from Low to High Dimensions" (Invited Talk) 204:(FCRC) in 1993, 1996, 1999, 2003, 2007, 2011, 2015, 2019, and 2023. 1012: 1808: 1340: 1248: 193: 192:
in 2001, as a virtual/online conference in 2020 and 2021, and in
1158: 837: 808: 757: 637: 94: 62: 1192: 196:
in 2022; all other meetings in 1969–2023 have been held in the
87:
International Colloquium on Automata, Languages and Programming
303:(2005), "Beyond NP: the work and legacy of Larry Stockmeyer", 722:"The matching polytope has exponential extension complexity" 590:(2009), "Athena lecture: Controlling Access to Programs?", 384:(2006), "Can every randomized algorithm be derandomized?", 915:"Proceedings of the 44th symposium on Theory of Computing" 891:
contains other academic conferences in computer science.
546:(2008), "Some topics in analysis of boolean functions", 1482:
SIAM/ACM Prize in Computational Science and Engineering
1142: 1801: 1583: 1525: 1490: 1409: 1400: 1226: 747:"Proofs according to Silvio" (Turing Award Lecture) 1814:ACM International Collegiate Programming Contest 848:"On the Nature and Future of ToC" (Keynote Talk) 1855:Association for Computing Machinery conferences 733:"The Cryptographic Lens" (Turing Award Lecture) 1034:"The complexity of theorem proving procedures" 1204: 121:STOC was first organised on 5–7 May 1969, in 8: 67:Symposium on Foundations of Computer Science 32:Annual ACM Symposium on Theory of Computing 1467:Paris Kanellakis Theory and Practice Award 1406: 1211: 1197: 1189: 1147: 109:, and was one of the first victims of the 27:Conference in theoretical computer science 1048: 667:"IBM's Watson/DeepQA" (FCRC Plenary Talk) 599: 509:(2008), "Computing how we became human", 137:, and the program committee consisted of 1845:Theoretical computer science conferences 906: 472:(2008), "Rethinking internet routing", 202:Federated Computing Research Conference 188:in 1992, 1994, 2002, 2008, and 2017 in 70: 1175:Citation Statistics for FOCS/STOC/SODA 976:"Danny Lewin Best Student Paper Award" 164:Early seminal papers in STOC include 7: 1850:Recurring events established in 1969 889:List of computer science conferences 165: 58: 18:ACM Symposium on Theory of Computing 1220:Association for Computing Machinery 956:"STOC Conference Best Paper Awards" 48:Association for Computing Machinery 168:, which introduced the concept of 25: 1819:ACM Student Research Competition 885:in theoretical computer science. 1447:ACM Doctoral Dissertation Award 895:List of computer science awards 133:. The conference chairman was 1: 1155:STOC proceedings information 61:writes, STOC and its annual 44:theoretical computer science 1427:ACM-AAAI Allen Newell Award 673:Luiz Andre Barroso (2011), 1871: 1560:Computers in Entertainment 1540:Communications of the ACM 1477:ACM Software System Award 1457:Grace Murray Hopper Award 1183:Suresh Venkatasubramanian 665:David A. Ferruci (2011), 222:(2004), "Network games", 1228:Special Interest Groups 1119:10.1145/1008959.1008960 601:10.1145/1536414.1536416 556:10.1145/1374376.1374458 519:10.1145/1374376.1374468 482:10.1145/1374376.1374386 438:10.1145/1250790.1250826 394:10.1145/1132516.1132571 357:10.1145/1132516.1132535 313:10.1145/1060590.1060609 269:10.1145/1007352.1007359 232:10.1145/1007352.1007356 200:. STOC was part of the 50:special interest group 1472:ACM Prize in Computing 1442:Eugene L. Lawler Award 993:Leighton, Tom (2002). 799:Olivier Temam (2015), 184:STOC was organised in 65:counterpart FOCS (the 1555:ACM Computing Surveys 1513:Steven A. Coons Award 1432:Athena Lecturer Award 1085:10.1145/242224.242502 1072:ACM Computing Surveys 1050:10.1145/800157.805047 1802:Educational programs 1437:Eckert–Mauchly Award 1043:, pp. 151–158, 801:FCRC Keynote Lecture 782:FCRC Keynote Lecture 768:Turing Award Lecture 594:, pp. 167–168, 550:, pp. 569–578, 513:, pp. 639–640, 388:, pp. 373–374, 226:, pp. 341–342, 111:September 11 attacks 1550:ACM Digital Library 1169:ACM Digital Library 870:Knuth Prize Lecture 793:Knuth Prize Lecture 764:Michael Stonebraker 693:Knuth Prize Lecture 382:Russell Impagliazzo 139:Michael A. Harrison 107:Akamai Technologies 40:academic conference 1824:Upsilon Pi Epsilon 1535:Journal of the ACM 936:"Conference Ranks" 700:Prabhakar Raghavan 476:, pp. 55–56, 345:Prabhakar Raghavan 174:Cook–Levin theorem 135:Patrick C. Fischer 1832: 1831: 1521: 1520: 1462:Ken Kennedy Award 1452:Gordon Bell Prize 1007:Proc. STOC 1969. 644:Leslie G. Valiant 159:Jeffrey D. Ullman 16:(Redirected from 1862: 1565:ACM Interactions 1407: 1213: 1206: 1199: 1190: 1165:STOC proceedings 1151: 1146: 1145: 1143:Official website 1129: 1095: 1061: 1052: 1038: 1016: 1005: 999: 998: 990: 984: 983: 978:. Archived from 972: 966: 965: 963: 962: 952: 946: 945: 943: 942: 932: 926: 925: 923: 922: 911: 872: 861: 850: 832: 821: 803: 795: 784: 770: 749: 735: 729:Shafi Goldwasser 724: 706: 695: 677: 669: 661: 650: 632: 626:David S. Johnson 614: 603: 588:Shafi Goldwasser 576: 539: 502: 470:Jennifer Rexford 458: 414: 377: 333: 289: 252: 208:Invited speakers 42:in the field of 21: 1870: 1869: 1865: 1864: 1863: 1861: 1860: 1859: 1835: 1834: 1833: 1828: 1797: 1579: 1517: 1486: 1396: 1222: 1217: 1141: 1140: 1137: 1106:ACM SIGACT News 1099: 1079:(4es): 217–es, 1065: 1041:Proc. STOC 1971 1036: 1028: 1025: 1020: 1019: 1006: 1002: 992: 991: 987: 974: 973: 969: 960: 958: 954: 953: 949: 940: 938: 934: 933: 929: 920: 918: 913: 912: 908: 903: 879: 864: 853: 842: 824: 815:Santosh Vempala 813: 798: 787: 776: 762: 741: 727: 718:Thomas Rothvoss 716: 698: 687: 672: 664: 653: 642: 624: 612: 586: 566: 542: 529: 505: 492: 468: 448: 432:, p. 247, 424: 404: 380: 367: 351:, p. 129, 343: 323: 307:, p. 120, 299: 279: 263:, p. 579, 255: 242: 218: 210: 182: 170:NP-completeness 155:Albert R. Meyer 151:Richard M. Karp 147:Juris Hartmanis 143:Robert W. Floyd 119: 103:Daniel M. Lewin 79: 28: 23: 22: 15: 12: 11: 5: 1868: 1866: 1858: 1857: 1852: 1847: 1837: 1836: 1830: 1829: 1827: 1826: 1821: 1816: 1811: 1805: 1803: 1799: 1798: 1796: 1795: 1790: 1785: 1780: 1775: 1770: 1765: 1760: 1755: 1750: 1745: 1740: 1735: 1730: 1725: 1720: 1715: 1710: 1705: 1700: 1695: 1690: 1685: 1680: 1675: 1670: 1665: 1660: 1655: 1650: 1645: 1640: 1635: 1630: 1625: 1620: 1615: 1610: 1605: 1600: 1595: 1589: 1587: 1581: 1580: 1578: 1577: 1572: 1567: 1562: 1557: 1552: 1547: 1542: 1537: 1531: 1529: 1523: 1522: 1519: 1518: 1516: 1515: 1510: 1505: 1500: 1494: 1492: 1488: 1487: 1485: 1484: 1479: 1474: 1469: 1464: 1459: 1454: 1449: 1444: 1439: 1434: 1429: 1424: 1422:ACM Fellowship 1419: 1413: 1411: 1404: 1398: 1397: 1395: 1394: 1389: 1384: 1381: 1376: 1371: 1366: 1363: 1358: 1353: 1348: 1343: 1338: 1335: 1332: 1327: 1322: 1317: 1314: 1309: 1304: 1299: 1296: 1293: 1288: 1283: 1278: 1273: 1268: 1265: 1262: 1259: 1254: 1251: 1246: 1243: 1238: 1232: 1230: 1224: 1223: 1218: 1216: 1215: 1208: 1201: 1193: 1187: 1186: 1172: 1162: 1152: 1136: 1135:External links 1133: 1132: 1131: 1101:Johnson, D. S. 1097: 1063: 1024: 1021: 1018: 1017: 1013:10.1145/800169 1000: 985: 982:on 2008-06-20. 967: 947: 927: 905: 904: 902: 899: 898: 897: 892: 886: 878: 875: 874: 873: 866:Oded Goldreich 862: 855:Orna Kupferman 851: 840: 834: 833: 822: 811: 805: 804: 796: 785: 774: 760: 754: 753: 739: 725: 714: 708: 707: 696: 685: 679: 678: 670: 662: 651: 640: 634: 633: 622: 616: 615: 610: 584: 578: 577: 564: 544:Ryan O'Donnell 540: 527: 507:David Haussler 503: 490: 466: 460: 459: 446: 422: 416: 415: 403:978-1595931344 402: 378: 366:978-1595931344 365: 341: 335: 334: 322:978-1581139600 321: 297: 291: 290: 278:978-1581138528 277: 253: 241:978-1581138528 240: 216: 209: 206: 181: 178: 123:Marina del Rey 118: 115: 78: 75: 71:Johnson (1984) 26: 24: 14: 13: 10: 9: 6: 4: 3: 2: 1867: 1856: 1853: 1851: 1848: 1846: 1843: 1842: 1840: 1825: 1822: 1820: 1817: 1815: 1812: 1810: 1807: 1806: 1804: 1800: 1794: 1791: 1789: 1786: 1784: 1781: 1779: 1776: 1774: 1771: 1769: 1766: 1764: 1761: 1759: 1756: 1754: 1751: 1749: 1746: 1744: 1741: 1739: 1736: 1734: 1731: 1729: 1726: 1724: 1721: 1719: 1716: 1714: 1711: 1709: 1706: 1704: 1701: 1699: 1696: 1694: 1691: 1689: 1686: 1684: 1681: 1679: 1676: 1674: 1671: 1669: 1666: 1664: 1661: 1659: 1656: 1654: 1651: 1649: 1646: 1644: 1641: 1639: 1636: 1634: 1631: 1629: 1626: 1624: 1621: 1619: 1616: 1614: 1611: 1609: 1606: 1604: 1601: 1599: 1596: 1594: 1591: 1590: 1588: 1586: 1582: 1576: 1573: 1571: 1568: 1566: 1563: 1561: 1558: 1556: 1553: 1551: 1548: 1546: 1543: 1541: 1538: 1536: 1533: 1532: 1530: 1528: 1524: 1514: 1511: 1509: 1506: 1504: 1501: 1499: 1496: 1495: 1493: 1489: 1483: 1480: 1478: 1475: 1473: 1470: 1468: 1465: 1463: 1460: 1458: 1455: 1453: 1450: 1448: 1445: 1443: 1440: 1438: 1435: 1433: 1430: 1428: 1425: 1423: 1420: 1418: 1415: 1414: 1412: 1408: 1405: 1403: 1399: 1393: 1390: 1388: 1385: 1382: 1380: 1377: 1375: 1372: 1370: 1367: 1364: 1362: 1359: 1357: 1354: 1352: 1349: 1347: 1344: 1342: 1339: 1336: 1333: 1331: 1328: 1326: 1323: 1321: 1318: 1315: 1313: 1310: 1308: 1305: 1303: 1300: 1297: 1294: 1292: 1289: 1287: 1284: 1282: 1279: 1277: 1274: 1272: 1269: 1266: 1263: 1260: 1258: 1255: 1252: 1250: 1247: 1244: 1242: 1239: 1237: 1234: 1233: 1231: 1229: 1225: 1221: 1214: 1209: 1207: 1202: 1200: 1195: 1194: 1191: 1184: 1180: 1176: 1173: 1170: 1166: 1163: 1160: 1156: 1153: 1150: 1144: 1139: 1138: 1134: 1128: 1124: 1120: 1116: 1112: 1108: 1107: 1102: 1098: 1094: 1090: 1086: 1082: 1078: 1074: 1073: 1068: 1064: 1060: 1056: 1051: 1046: 1042: 1035: 1031: 1030:Cook, Stephen 1027: 1026: 1022: 1014: 1010: 1004: 1001: 996: 989: 986: 981: 977: 971: 968: 957: 951: 948: 937: 931: 928: 916: 910: 907: 900: 896: 893: 890: 887: 884: 881: 880: 876: 871: 867: 863: 860: 856: 852: 849: 845: 844:Avi Wigderson 841: 839: 836: 835: 831: 827: 823: 820: 816: 812: 810: 807: 806: 802: 797: 794: 790: 786: 783: 779: 775: 773: 769: 765: 761: 759: 756: 755: 752: 748: 744: 743:Silvio Micali 740: 738: 734: 730: 726: 723: 719: 715: 713: 710: 709: 705: 701: 697: 694: 690: 686: 684: 681: 680: 676: 671: 668: 663: 660: 656: 652: 649: 645: 641: 639: 636: 635: 631: 627: 623: 621: 618: 617: 613: 611:9781605585062 607: 602: 597: 593: 589: 585: 583: 580: 579: 575: 571: 567: 565:9781605580470 561: 557: 553: 549: 545: 541: 538: 534: 530: 528:9781605580470 524: 520: 516: 512: 508: 504: 501: 497: 493: 491:9781605580470 487: 483: 479: 475: 471: 467: 465: 462: 461: 457: 453: 449: 447:9781595936318 443: 439: 435: 431: 427: 423: 421: 418: 417: 413: 409: 405: 399: 395: 391: 387: 383: 379: 376: 372: 368: 362: 358: 354: 350: 346: 342: 340: 337: 336: 332: 328: 324: 318: 314: 310: 306: 302: 301:Lance Fortnow 298: 296: 293: 292: 288: 284: 280: 274: 270: 266: 262: 258: 257:Avi Wigderson 254: 251: 247: 243: 237: 233: 229: 225: 221: 217: 215: 212: 211: 207: 205: 203: 199: 198:United States 195: 191: 187: 179: 177: 175: 171: 167: 162: 160: 156: 152: 148: 144: 140: 136: 132: 131:United States 128: 124: 116: 114: 112: 108: 104: 98: 96: 92: 89:(ICALP); the 88: 84: 76: 74: 72: 68: 64: 60: 55: 53: 49: 45: 41: 37: 33: 19: 1777: 1545:RISKS Digest 1527:Publications 1417:Turing Award 1185:, July 2007. 1113:(2): 36–49, 1110: 1104: 1076: 1070: 1040: 1003: 988: 980:the original 970: 959:. Retrieved 950: 939:. Retrieved 930: 919:. Retrieved 909: 869: 858: 847: 829: 826:Timothy Chan 818: 800: 792: 789:LászlĂł Babai 781: 767: 746: 732: 721: 704:Plenary talk 703: 692: 674: 666: 658: 647: 629: 591: 547: 510: 473: 429: 385: 348: 304: 260: 223: 183: 163: 120: 99: 80: 56: 35: 31: 29: 1585:Conferences 1508:Knuth Prize 1503:Gödel Prize 1498:CHI Academy 1179:Piotr Indyk 1067:Fich, Faith 883:Conferences 689:Gary Miller 655:Ravi Kannan 426:Nancy Lynch 166:Cook (1971) 91:Knuth Prize 83:Gödel Prize 59:Fich (1996) 1839:Categories 1383:SIGSPATIAL 1330:SIGMETRICS 1023:References 961:2012-04-07 941:2016-08-30 921:2012-09-17 778:Andrew Yao 220:Éva Tardos 172:(see also 127:California 1658:Hypertext 1653:Hot Chips 1570:ACM Queue 1346:SIGMOBILE 1236:SIGACCESS 1093:195706843 1748:SIGGRAPH 1575:ACM XRDS 1334:SIGMICRO 1302:SIGGRAPH 1127:26789249 1032:(1971), 877:See also 868:(2017), 857:(2017), 846:(2017), 828:(2016), 817:(2016), 791:(2015), 780:(2015), 766:(2015), 745:(2014), 731:(2014), 720:(2014), 702:(2013), 691:(2013), 657:(2011), 646:(2011), 628:(2010), 537:30452365 500:10958242 456:22140755 412:22433370 375:19222958 331:16558679 287:27563516 250:18249534 180:Location 38:) is an 1738:SIGCOMM 1698:MobiCom 1387:SIGUCCS 1379:SIGSOFT 1361:SIGPLAN 1295:SIGecom 1276:SIGCOMM 1257:SIGARCH 1167:in the 1059:7573663 574:1241681 117:History 1773:SPLASH 1743:SIGCSE 1728:RecSys 1663:SenSys 1603:ASPLOS 1593:ACM-MM 1402:Awards 1392:SIGWEB 1374:SIGSIM 1369:SIGSAM 1365:SIGSAC 1356:SIGOPS 1351:SIGMOD 1337:SIGMIS 1325:SIGLOG 1320:SIGKDD 1316:SIGITE 1307:SIGHPC 1298:SIGEVO 1291:SIGDOC 1281:SIGCSE 1271:SIGCHI 1267:SIGCAS 1264:SIGBio 1261:SIGBED 1253:SIGAPP 1245:SIGAda 1241:SIGACT 1125:  1091:  1057:  917:. 2012 608:  572:  562:  535:  525:  498:  488:  454:  444:  410:  400:  373:  363:  329:  319:  285:  275:  248:  238:  190:Greece 186:Canada 157:, and 77:Awards 52:SIGACT 1809:ACM-W 1783:TAPIA 1723:PPoPP 1693:MICRO 1683:ISSAC 1638:GECCO 1628:FAccT 1341:SIGMM 1312:SIGIR 1286:SIGDA 1249:SIGAI 1123:S2CID 1089:S2CID 1055:S2CID 1037:(PDF) 901:Notes 772:video 751:video 737:video 570:S2CID 533:S2CID 496:S2CID 452:S2CID 408:S2CID 371:S2CID 327:S2CID 283:S2CID 246:S2CID 194:Italy 1793:VRIC 1788:UIST 1778:STOC 1768:SPAA 1763:SOSP 1758:SODA 1753:SoCG 1718:POPL 1713:PODS 1708:PODC 1703:PLDI 1688:JCDL 1678:ISPD 1673:ISMM 1668:ISCA 1648:HOPL 1633:FCRC 1623:DEBS 1613:CIKM 1598:AIES 1491:SIGs 1181:and 1159:DBLP 838:2017 809:2016 758:2015 712:2014 683:2013 638:2011 620:2010 606:ISBN 582:2009 560:ISBN 523:ISBN 486:ISBN 464:2008 442:ISBN 420:2007 398:ISBN 361:ISBN 339:2006 317:ISBN 295:2005 273:ISBN 236:ISBN 214:2004 95:FOCS 81:The 63:IEEE 36:STOC 30:The 1643:GHC 1618:DAC 1608:CHI 1410:ACM 1157:in 1115:doi 1081:doi 1045:doi 1009:doi 596:doi 552:doi 515:doi 478:doi 434:doi 390:doi 353:doi 309:doi 265:doi 228:doi 176:). 57:As 1841:: 1733:SC 1177:, 1121:, 1111:16 1109:, 1087:, 1077:28 1075:, 1053:, 1039:, 604:, 568:, 558:, 531:, 521:, 494:, 484:, 450:, 440:, 406:, 396:, 369:, 359:, 325:, 315:, 281:, 271:, 244:, 234:, 161:. 153:, 149:, 145:, 141:, 129:, 125:, 113:. 97:. 1212:e 1205:t 1198:v 1171:. 1161:. 1130:. 1117:: 1096:. 1083:: 1062:. 1047:: 1015:. 1011:: 997:. 964:. 944:. 924:. 598:: 554:: 517:: 480:: 436:: 392:: 355:: 311:: 267:: 230:: 34:( 20:)

Index

ACM Symposium on Theory of Computing
academic conference
theoretical computer science
Association for Computing Machinery
SIGACT
Fich (1996)
IEEE
Symposium on Foundations of Computer Science
Johnson (1984)
Gödel Prize
International Colloquium on Automata, Languages and Programming
Knuth Prize
FOCS
Daniel M. Lewin
Akamai Technologies
September 11 attacks
Marina del Rey
California
United States
Patrick C. Fischer
Michael A. Harrison
Robert W. Floyd
Juris Hartmanis
Richard M. Karp
Albert R. Meyer
Jeffrey D. Ullman
Cook (1971)
NP-completeness
Cook–Levin theorem
Canada

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

↑