Find link

Theory of Computing not in Non-blocking algorithm

language:

Find link is a tool written by Edward Betts.

Longer titles found: Theory of Computing Systems (view), Symposium on Theory of Computing (view), Simons Institute for the Theory of Computing (view)

searching for Theory of Computing 383 found (752 total)

alternate case: theory of Computing

Computational learning theory (883 words) [view diff] exact match in snippet view article find links to article

bibliography. In Proceedings of the Twenty-Fourth Annual ACM Symposium on Theory of Computing (May 1992), pages 351–369. http://portal.acm.org/citation.cfm?id=129712

Joel Spencer (370 words) [view diff] case mismatch in snippet view article find links to article

Mathematics in 2017, "for contributions to discrete mathematics and theory of computing, particularly random graphs and networks, Ramsey theory, logic, and

Alexander Razborov (716 words) [view diff] exact match in snippet view article find links to article

annual ACM symposium on Theory of computing - STOC '89". Proceedings of the 21st Annual ACM Symposium on the Theory of Computing. Seattle, Washington, United

Mihalis Yannakakis (1,459 words) [view diff] exact match in snippet view article find links to article

about hardness of approximation. In the Annual ACM Symposium on Theory of Computing of 1988, Yannakakis and Christos Papadimitriou introduced the definitions

Lattice problem (3,660 words) [view diff] case mismatch in snippet view article find links to article

problems". Proceedings of the Twenty-Eighth annual ACM symposium on Theory of computing. Philadelphia, Pennsylvania, United States: ACM. pp. 99–108. doi:10

Jack Edmonds (1,543 words) [view diff] case mismatch in snippet view article find links to article

optimization, polyhedral combinatorics, discrete mathematics and the theory of computing. He was the recipient of the 1985 John von Neumann Theory Prize.

Boolean satisfiability problem (4,820 words) [view diff] case mismatch in snippet view article find links to article

versus NP problem - one of the most important open problems in the theory of computing. Nevertheless, as of 2007, heuristic SAT-algorithms are able to solve

Unique games conjecture (3,066 words) [view diff] case mismatch in snippet view article find links to article

games", Proceedings of the thirty-fourth annual ACM symposium on Theory of computing, pp. 767–775, doi:10.1145/509907.510017, ISBN 1-58113-495-9, S2CID 207635974

Mikkel Thorup (564 words) [view diff] exact match in snippet view article find links to article

SIAM Journal on Computing, ACM Transactions on Algorithms, and the Theory of Computing. He has been a Fellow of the Association for Computing Machinery

Amos Fiat (906 words) [view diff] exact match in snippet view article find links to article

file allocation", Proceedings of the Twenty-Fifth ACM Symposium on Theory of Computing (STOC '93), pp. 164–173, doi:10.1145/167088.167142, ISBN 978-0897915915

Correlation clustering (2,006 words) [view diff] case mismatch in snippet view article find links to article

information". Proceedings of the thirty-seventh annual ACM symposium on Theory of computing – STOC '05. p. 684. doi:10.1145/1060590.1060692. ISBN 1581139608

Lattice-based cryptography (2,872 words) [view diff] exact match in snippet view article find links to article

Problems". Proceedings of the Twenty-Eighth Annual ACM Symposium on Theory of Computing. pp. 99–108. CiteSeerX 10.1.1.40.2489. doi:10.1145/237814.237838

Interactive proof system (2,746 words) [view diff] exact match in snippet view article find links to article

randomness. Proceedings of the Seventeenth Annual Symposium on the Theory of Computing, ACM. 1985. Goldwasser, S.; Micali, S.; Rackoff, C. (1989). "The

Space complexity (1,003 words) [view diff] case mismatch in snippet view article find links to article

Noam (1992), "RL ⊆ SC", Proceedings of the 24th ACM Symposium on Theory of computing (STOC '92), Victoria, British Columbia, Canada, pp. 619–623, doi:10

Miklós Ajtai (678 words) [view diff] exact match in snippet view article find links to article

lattice and for Schnorr's algorithm for the shortest vector problem". Theory of Computing. 4: 21–51. doi:10.4086/toc.2008.v004a002. Ajtai, Miklós (5 October

List of NP-complete problems (2,676 words) [view diff] case mismatch in snippet view article find links to article

Correction Problem". Proceedings of seventh annual ACM symposium on Theory of computing - STOC '75. pp. 218–223. doi:10.1145/800116.803771. ISBN 9781450374194

Circuit complexity (2,571 words) [view diff] exact match in snippet view article find links to article

sorting network". Proceedings of the 15th Annual ACM Symposium on Theory of Computing, 25–27 April, 1983, Boston, Massachusetts, USA. Association for Computing

P (complexity) (1,940 words) [view diff] case mismatch in snippet view article

STOC '82: Proceedings of the fourteenth annual ACM symposium on Theory of computing. pp. 137–146. doi:10.1145/800070.802186. Immerman, Neil (1982). "Relational

Parity learning (347 words) [view diff] case mismatch in snippet view article find links to article

parity learning,” in Proceedings of the 40th annual ACM symposium on Theory of computing (Victoria, British Columbia, Canada: ACM, 2008), 629–638, http://portal

Sheila Greibach (1,353 words) [view diff] exact match in snippet view article find links to article

(Extended Abstract)," Proceedings of the fifth annual ACM symposium on Theory of Computing, April 1973 Every deterministic context-free language can be accepted

International Journal of Computer Mathematics (200 words) [view diff] case mismatch in snippet view article find links to article

Journal of Computer Mathematics: Computer Systems Theory, covering the theory of computing and computer systems was established in 2016. The journal is abstracted

Michael Saks (mathematician) (823 words) [view diff] case mismatch in snippet view article

structures". Proceedings of the twenty-first annual ACM symposium on Theory of computing - STOC '89. New York, NY, USA: Association for Computing Machinery

Computational hardness assumption (3,302 words) [view diff] exact match in snippet view article find links to article

extended abstract". Proceedings on 41st Annual ACM Symposium on Theory of Computing (STOC). pp. 333–342. doi:10.1145/1536414.1536461. Ajtai, Miklós;

QIP (complexity) (503 words) [view diff] case mismatch in snippet view article

STOC '00: Proceedings of the thirty-second annual ACM symposium on Theory of computing, ACM, pp. 608–617, ISBN 978-1-58113-184-0 Jain, Rahul; Upadhyay,

Michael Sipser (856 words) [view diff] exact match in snippet view article find links to article

Vignette: Hard Problems All The Way Up | Simons Institute for the Theory of Computing". simons.berkeley.edu. 30 July 2015. Retrieved 2015-09-17. Sipser

Triangle-free graph (2,524 words) [view diff] exact match in snippet view article find links to article

Gupta, Anupam (eds.), STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20 - 24, 2022, {ACM}, pp. 1487–1500, arXiv:2204

Learning with errors (3,411 words) [view diff] case mismatch in snippet view article find links to article

cryptography,” in Proceedings of the thirty-seventh annual ACM symposium on Theory of computing (Baltimore, MD, USA: ACM, 2005), 84–93, http://portal.acm.org/citation

Stephen Cook (1,540 words) [view diff] exact match in snippet view article find links to article

Proving Procedures, presented at the 1971 ACM SIGACT Symposium on the Theory of Computing, laid the foundations for the theory of NP-Completeness. The ensuing

Greg Kuperberg (614 words) [view diff] exact match in snippet view article find links to article

Machine, retrieved March 8, 2008.; Theory of Computing, About the Authors, retrieved March 8, 2008. Theory of Computing, About the Authors; "Three Outstanding

Trivial measure (311 words) [view diff] exact match in snippet view article find links to article

Christopher P. (2015-04-01). "Trivial Measures are not so Trivial". Theory of Computing Systems. 56 (3): 487–512. arXiv:1503.06332. doi:10.1007/s00224-015-9614-8

Clique-width (2,058 words) [view diff] exact match in snippet view article find links to article

; Mosca, R. (2005), "New graph classes of bounded clique-width", Theory of Computing Systems, 38 (5): 623–645, CiteSeerX 10.1.1.3.5994, doi:10.1007/s00224-004-1154-6

Bruce Reed (mathematician) (500 words) [view diff] case mismatch in snippet view article

computing tree width quickly", Proc. 24th Annual ACM Symposium on Theory of computing, pp. 221–228, doi:10.1145/129712.129734, ISBN 978-0897915113, S2CID 16259988

Hidden Matching Problem (1,359 words) [view diff] case mismatch in snippet view article find links to article

complexity". Proceedings of the thirty-sixth annual ACM symposium on Theory of computing. STOC '04. Chicago, IL, USA: Association for Computing Machinery

Craig Gentry (computer scientist) (282 words) [view diff] exact match in snippet view article

Homomorphic Encryption Using Ideal Lattices. In the 41st ACM Symposium on Theory of Computing (STOC), 2009. Greenberg, Andy (3 November 2014), "Hacker Lexicon:

MAX-3SAT (1,458 words) [view diff] case mismatch in snippet view article find links to article

theory", Proceedings of the thiry-fourth annual ACM symposium on Theory of computing, pp. 619–626, doi:10.1145/509907.509996, ISBN 1581134959, S2CID 94045

SimHash (284 words) [view diff] exact match in snippet view article find links to article

rounding algorithms", Proceedings of the 34th Annual ACM Symposium on Theory of Computing, pp. 380–388, doi:10.1145/509907.509965, ISBN 978-1581134957, S2CID 4229473

Grover's algorithm (4,731 words) [view diff] case mismatch in snippet view article find links to article

search". Proceedings of the twenty-eighth annual ACM symposium on Theory of computing - STOC '96. Philadelphia, Pennsylvania, USA: Association for Computing

Alfred Aho (1,739 words) [view diff] exact match in snippet view article find links to article

Prentice Hall, 1972. ISBN 0-13-914556-7 A. V. Aho (ed.) Currents in the Theory of Computing. Prentice Hall, 1973. ISBN 0-13-195651-5 A. V. Aho and J. D. Ullman

Edge (geometry) (701 words) [view diff] exact match in snippet view article

per face", Proceedings of the Eighteenth Annual ACM Symposium on Theory of Computing (STOC '86), pp. 404–413, doi:10.1145/12130.12172, ISBN 0-89791-193-8

Arthur–Merlin protocol (1,831 words) [view diff] case mismatch in snippet view article find links to article

STOC '85: Proceedings of the seventeenth annual ACM symposium on Theory of computing, ACM, pp. 421–429, ISBN 978-0-89791-151-1. Goldwasser, Shafi; Sipser

Richard Cleve (415 words) [view diff] case mismatch in snippet view article find links to article

quantum walk". Proceedings of the thirty-fifth annual ACM symposium on Theory of computing. San Diego, CA, USA: ACM. pp. 59–68. arXiv:quant-ph/0209131. doi:10

Lance Fortnow (1,062 words) [view diff] exact match in snippet view article find links to article

polylogarithmic time", in Proceedings of the 23rd ACM Symposium on the Theory of Computing, pages 21-31. ACM, New York, 1991 L. Fortnow and D. Whang, "Optimality

Oded Goldreich (1,378 words) [view diff] exact match in snippet view article find links to article

any One-Way Function. In the proceedings of the 21st ACM Symp. on Theory of Computing, pages 25-32, 1989. Oded Goldreich, Silvio Micali, and Avi Wigderson

Demand oracle (745 words) [view diff] case mismatch in snippet view article find links to article

oracle model". Proceedings of the fortieth annual ACM symposium on Theory of computing. STOC '08. Victoria, British Columbia, Canada: Association for Computing

Verifiable computing (1,887 words) [view diff] case mismatch in snippet view article find links to article

polylogarithmic time". Proceedings of the twenty-third annual ACM symposium on Theory of computing - STOC '91. STOC '91. New York, NY, US: ACM. pp. 21–32. CiteSeerX 10

Quantum Byzantine agreement (2,098 words) [view diff] case mismatch in snippet view article find links to article

STOC '05: Proceedings of the thirty-seventh annual ACM symposium on Theory of computing. Baltimore, MD, USA. pp. 481–485. doi:10.1145/1060590.1060662. Lamport

Least fixed point (1,474 words) [view diff] case mismatch in snippet view article find links to article

STOC '82: Proceedings of the fourteenth annual ACM symposium on Theory of computing. pp. 147–152. doi:10.1145/800070.802187. Revised version in Information

Perceptual computing (1,330 words) [view diff] case mismatch in snippet view article find links to article

Perceptual computing is an application of Zadeh's theory of computing with words on the field of assisting people to make subjective judgments. The perceptual

RL (complexity) (419 words) [view diff] case mismatch in snippet view article

Noam (1992), "RL ⊆ SC", Proceedings of the 24th ACM Symposium on Theory of computing (STOC '92), Victoria, British Columbia, Canada, pp. 619–623, doi:10

Voltage graph (1,060 words) [view diff] exact match in snippet view article find links to article

detecting cycles in dynamic graphs", Proc. 21st Annual ACM Symposium on Theory of Computing (STOC '89), pp. 523–534, doi:10.1145/73007.73057, ISBN 0-89791-307-8

Set cover problem (3,011 words) [view diff] case mismatch in snippet view article find links to article

STOC '97: Proceedings of the twenty-ninth annual ACM symposium on Theory of computing, ACM, pp. 475–484, ISBN 978-0-89791-888-6. Dinur, Irit; Steurer,

Philip N. Klein (638 words) [view diff] exact match in snippet view article find links to article

algorithms". In 2023, this research received the Annual ACM Symposium on Theory of Computing (STOC) 30-year Test of Time Award. In 1994, Klein and Robert E. Tarjan

Quantum computing (12,522 words) [view diff] case mismatch in snippet view article find links to article

theory". Proceedings of the twenty-fifth annual ACM symposium on Theory of computing – STOC '93. San Diego, California, United States: ACM Press. pp. 11–20

Gary Miller (computer scientist) (304 words) [view diff] exact match in snippet view article

Retrieved 31 October 2013. "Gary Miller | Simons Institute for the Theory of Computing". simons.berkeley.edu. 2 July 2013. "Miller's thesis" (PDF). Gary

Quantum computing (12,522 words) [view diff] case mismatch in snippet view article find links to article

theory". Proceedings of the twenty-fifth annual ACM symposium on Theory of computing – STOC '93. San Diego, California, United States: ACM Press. pp. 11–20

Noam Nisan (561 words) [view diff] exact match in snippet view article find links to article

"Algorithmic mechanism design", Proceedings of the 31st ACM Symposium on Theory of Computing (STOC '99), pp. 129–140, doi:10.1145/301250.301287, S2CID 8316937

Quantum sort (165 words) [view diff] case mismatch in snippet view article find links to article

Sorting". Proceedings of the thirty-fifth annual ACM symposium on Theory of computing. p. 69. arXiv:quant-ph/0211174. doi:10.1145/780542.780553. ISBN 1581136749

Finger tree (2,090 words) [view diff] exact match in snippet view article find links to article

linear lists", Conference Record of the Ninth Annual ACM Symposium on Theory of Computing, pp. 49–60. Tsakalidis, A. K. (1985), "AVL-trees for localized search"

Gap-Hamming problem (765 words) [view diff] case mismatch in snippet view article find links to article

streams". Proceedings of the thirty-seventh annual ACM symposium on Theory of computing - STOC '05. p. 202. doi:10.1145/1060590.1060621. ISBN 9781581139600

Adversarial queueing network (198 words) [view diff] case mismatch in snippet view article find links to article

theory". Proceedings of the twenty-eighth annual ACM symposium on Theory of computing – STOC '96. p. 376. doi:10.1145/237814.237984. ISBN 0897917855. S2CID 771941

Michael Kearns (computer scientist) (1,133 words) [view diff] exact match in snippet view article

Kearns and Valiant (Unpublished manuscript 1988, ACM Symposium on Theory of Computing 1989) is the origin of boosting machine learning algorithms, which

Matching (graph theory) (3,032 words) [view diff] exact match in snippet view article

matching" (PDF). Proceedings of the 22nd Annual ACM Symposium on Theory of Computing (STOC 1990). pp. 352–358. doi:10.1145/100216.100262. ISBN 0-89791-361-2

Disjoint-set data structure (4,912 words) [view diff] case mismatch in snippet view article find links to article

structures". Proceedings of the twenty-first annual ACM symposium on Theory of computing - STOC '89. pp. 345–354. doi:10.1145/73007.73040. ISBN 0897913078

Deterministic context-free language (633 words) [view diff] exact match in snippet view article find links to article

squared space". Proceedings of the eleventh annual ACM Symposium on Theory of Computing - STOC '79. Atlanta. pp. 338–345. doi:10.1145/800135.804426. Hoogeboom

Jeffrey Vitter (1,412 words) [view diff] exact match in snippet view article find links to article

Epsilon-Approximations with Small Packing Constraint Violation, ACM Symposium on Theory of Computing (STOC), May 1992, 771-782. J. S. Vitter, Random Sampling with a Reservoir

Thomas Jerome Schaefer (177 words) [view diff] exact match in snippet view article find links to article

Two-Person Perfect-Information Games". Eighth Annual ACM Symposium on Theory of Computing. ACM. pp. 41–49. MR 0451853. Schaefer, Thomas J. (1978). "The complexity

Gábor Tardos (631 words) [view diff] case mismatch in snippet view article find links to article

codes", Proceedings of the thirty-fifth annual ACM symposium on Theory of computing, vol. 55, pp. 116–125, CiteSeerX 10.1.1.8.8911, doi:10.1145/780542

Elias Koutsoupias (376 words) [view diff] exact match in snippet view article find links to article

retrieved 2019-07-07 "Elias Koutsoupias". Simons Institute for the Theory of Computing. Koutsoupias & Papadimitriou (1999). "Gödel Prize, ACM". European

Simplex algorithm (6,261 words) [view diff] exact match in snippet view article find links to article

Algorithm", Proceedings of the forty-seventh annual ACM symposium on Theory of Computing, pp. 209–218, CiteSeerX 10.1.1.697.2526, doi:10.1145/2746539.2746557

Color-coding (1,988 words) [view diff] exact match in snippet view article find links to article

graphs. In Proceedings of the Twenty-Sixth Annual ACM Symposium on theory of Computing (Montreal, Quebec, Canada, May 23–25, 1994). STOC '94. ACM, New York

Maximum flow problem (6,012 words) [view diff] exact match in snippet view article find links to article

better". Proceedings of the forty-fifth annual ACM symposium on Theory of Computing. pp. 765–774. CiteSeerX 10.1.1.259.5759. doi:10.1145/2488608.2488705

Manfred K. Warmuth (382 words) [view diff] exact match in snippet view article find links to article

of Sciences Leopoldina. Manfred Warmuth, Simons Institute in the Theory of Computing, retrieved 2023-05-17 "Manfred K. Warmuth", IEEE Xplore, IEEE, retrieved

Public-key cryptography (4,636 words) [view diff] exact match in snippet view article find links to article

the twenty-fifth annual ACM symposium on Theory of Computing. STOC '93: ACM Symposium on the Theory of Computing. Association for Computing Machinery. pp

Rüdiger Urbanke (369 words) [view diff] exact match in snippet view article find links to article

905935. S2CID 7381972. "Rüdiger Urbanke – Simons Institute for the Theory of Computing". simons.berkeley.edu. Retrieved 2017-02-05. "Distinguished Lecturers

Prabhakar Raghavan (1,169 words) [view diff] case mismatch in snippet view article find links to article

Watson Research Center. In 1994, he was promoted to manager of theory of computing. A year later, he relocated to the Almaden center in Silicon Valley

Silvio Micali (905 words) [view diff] case mismatch in snippet view article find links to article

applications". Proceedings of the twentieth annual ACM symposium on Theory of computing - STOC '88. p. 103. doi:10.1145/62212.62222. ISBN 0897912640. S2CID 7282320

Algorithmic game theory (1,514 words) [view diff] exact match in snippet view article find links to article

"Algorithmic mechanism design", Proceedings of the 31st ACM Symposium on Theory of Computing (STOC '99), pp. 129–140, doi:10.1145/301250.301287, ISBN 978-1581130676

Work stealing (2,077 words) [view diff] exact match in snippet view article find links to article

Warut (2016). "Upper Bounds on Number of Steals in Rooted Trees". Theory of Computing Systems. 58 (2): 223–240. arXiv:1706.08219. doi:10.1007/s00224-015-9613-9

Ashok K. Chandra (411 words) [view diff] case mismatch in snippet view article find links to article

Bases. STOC '77: Proceedings of the ninth annual ACM symposium on Theory of computing. pp. 77–90. doi:10.1145/800105.803397. Chandra, Ashok K.; Harel,

Planarity testing (1,840 words) [view diff] exact match in snippet view article find links to article

testing", Proceedings of the Twenty-Sixth Annual ACM Symposium on Theory of Computing (STOC), pp. 706–715, doi:10.1145/195058.195439, S2CID 16799743 Di

Communication complexity (6,873 words) [view diff] exact match in snippet view article find links to article

STOC '13: Proceedings of the forty-fifth annual ACM symposium on Theory of Computing. Palo Alto, CA: ACM. pp. 151–160. doi:10.1145/2488608.2488628.

Prior-independent mechanism (1,142 words) [view diff] exact match in snippet view article find links to article

revenue maximization". Proceedings of the 46th Annual ACM Symposium on Theory of Computing - STOC '14. p. 243. arXiv:1502.00963. doi:10.1145/2591796.2591867

Suffix tree (3,742 words) [view diff] exact match in snippet view article find links to article

(1994), "Optimal Parallel Suffix Tree Construction", ACM Symposium on Theory of Computing (PDF). Iliopoulos, Costas; Rytter, Wojciech (2004), "On Parallel

Koret Foundation (1,789 words) [view diff] exact match in snippet view article find links to article

Computational Biology and Bioinformatics | Simons Institute for the Theory of Computing". simons.berkeley.edu. 2 October 2018. Retrieved 2021-04-07. "Koret-Berkeley-Tel

Amit Sahai (1,154 words) [view diff] case mismatch in snippet view article find links to article

computation". Proceedings of the thiry-fourth annual ACM symposium on Theory of computing. pp. 494–503. CiteSeerX 10.1.1.121.4746. doi:10.1145/509907.509980

Low-rank approximation (3,884 words) [view diff] exact match in snippet view article find links to article

STOC '16 Proceedings of the forty-eighth annual ACM symposium on Theory of Computing. Clarkson, Kenneth L.; Woodruff, David P. (2013). Low Rank Approximation

Michael Ben-Or (233 words) [view diff] exact match in snippet view article find links to article

Distributed Computation" in Proceedings of the 20th ACM Symposium on Theory of Computing (STOC), Chicago, Illinois, USA, May 1988, pages 1-10. Tal Rabin and

Fibonacci heap (3,785 words) [view diff] exact match in snippet view article find links to article

Strict Fibonacci heaps (PDF). Proceedings of the 44th symposium on Theory of Computing - STOC '12. p. 1177. doi:10.1145/2213977.2214082. ISBN 978-1-4503-1245-5

Travelling salesman problem (11,590 words) [view diff] exact match in snippet view article find links to article

Vassilevska (eds.), STOC '21: 53rd Annual ACM SIGACT Symposium on Theory of Computing, Virtual Event, Italy, June 21-25, 2021, pp. 32–45, arXiv:2007.01409

SC (complexity) (325 words) [view diff] case mismatch in snippet view article

Noam (1992), "RL ⊆ SC", Proceedings of the 24th ACM Symposium on Theory of computing (STOC '92), Victoria, British Columbia, Canada, pp. 619–623, doi:10

Polycube (1,321 words) [view diff] exact match in snippet view article find links to article

Christian (2006), "The effect of faults on network expansion", Theory of Computing Systems, 39 (6): 903–928, arXiv:cs/0404029, doi:10.1007/s00224-006-1349-0

Sparse Fourier transform (1,624 words) [view diff] case mismatch in snippet view article find links to article

sampling". Proceedings of the thiry-fourth annual ACM symposium on Theory of computing. S. Guha, P. Indyk, S. Muthukrishnan, M. Strauss. pp. 152–161. doi:10

Quantum refereed game (3,254 words) [view diff] case mismatch in snippet view article find links to article

games". Proceedings of the thirty-ninth annual ACM symposium on Theory of computing. pp. 565–574. arXiv:quant-ph/0611234. Bibcode:2006quant.ph.11234G

Kurt Mehlhorn (875 words) [view diff] exact match in snippet view article find links to article

determinism in VLSI and distributed computing" (PDF), Proc. 14th ACM Symp. Theory of Computing (STOC), pp. 330–337, doi:10.1145/800070.802208, ISBN 978-0897910705

Matrix multiplication (6,581 words) [view diff] case mismatch in snippet view article find links to article

product. In Proceedings of the thirty-fourth annual ACM symposium on Theory of computing. ACM Press, 2002. doi:10.1145/509907.509932. Robinson, Sara, Toward

Seifert surface (1,362 words) [view diff] case mismatch in snippet view article find links to article

NP-complete". Proceedings of the thiry-fourth annual ACM symposium on Theory of computing. STOC '02. New York, NY, USA: Association for Computing Machinery

PSPACE-complete (1,564 words) [view diff] exact match in snippet view article find links to article

Raymond (eds.), Proceedings of the 5th Annual ACM Symposium on Theory of Computing, April 30 - May 2, 1973, Austin, Texas, USA, Association for Computing

Short integer solution problem (3,165 words) [view diff] case mismatch in snippet view article find links to article

problems.] Proceedings of the twenty-eighth annual ACM symposium on Theory of computing. ACM, 1996. Micciancio, Daniele. [Generalized compact knapsacks,

Welfare maximization (2,831 words) [view diff] case mismatch in snippet view article find links to article

oracle model". Proceedings of the fortieth annual ACM symposium on Theory of computing. STOC '08. New York, NY, USA: Association for Computing Machinery

Elon Lindenstrauss (741 words) [view diff] exact match in snippet view article find links to article

Study". July 2024. "Elon Lindenstrauss". Simons Institute for the Theory of Computing. 17 March 2014. Retrieved 24 May 2017. "Editorial board". Duke Mathematical

Standard model (cryptography) (506 words) [view diff] case mismatch in snippet view article

(1998). "The Random Oracle Methodology Revisited". Symposium on Theory of computing (STOC). ACM. pp. 209–218. Retrieved 2007-11-01. Victor Shoup (1997)

Pseudorandom generators for polynomials (575 words) [view diff] exact match in snippet view article find links to article

"Unconditional Pseudorandom Generators for Low Degree Polynomials", Theory of Computing, 5 (3): 69–82, doi:10.4086/toc.2009.v005a003 Naor, Joseph; Naor,

Karp's 21 NP-complete problems (491 words) [view diff] exact match in snippet view article find links to article

of Theorem Proving Procedures". Proc. 3rd Annual ACM Symposium on Theory of Computing (STOC). pp. 151–158. doi:10.1145/800157.805047. ISBN 9781450374644

Maze generation algorithm (2,447 words) [view diff] exact match in snippet view article find links to article

Proceedings of the Twenty-Eighth Annual ACM Symposium on Theory of Computing. Symposium on Theory of Computing. Philadelphia: ACM. pp. 296–303. CiteSeerX 10.1

Congestion game (7,359 words) [view diff] exact match in snippet view article find links to article

Existence of Potential Functions in Weighted Congestion Games". Theory of Computing Systems. 49 (1): 46–70. doi:10.1007/s00224-011-9315-x. ISSN 1433-0490

DSPACE (1,239 words) [view diff] exact match in snippet view article find links to article

Square-Root Space". Proceedings of the 57th Annual ACM Symposium on Theory of Computing. ACM. pp. 13–23. doi:10.1145/3717823.3718225. ISBN 979-8-4007-1510-5

Transdichotomous model (503 words) [view diff] exact match in snippet view article find links to article

Machines", Proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing (STOC '81), pp. 168–176, doi:10.1145/800076.802470, S2CID 12878381

Moni Naor (683 words) [view diff] exact match in snippet view article find links to article

and Applications". Proceedings of the 22nd Annual ACM Symposium on Theory of Computing, STOC 1990 (abstract): 213–223. Amos Fiat; Moni Naor (1994). "Broadcast

Error correction code (4,696 words) [view diff] case mismatch in snippet view article find links to article

argument". Proceedings of the thirty-fifth annual ACM symposium on Theory of computing. ACM. pp. 106–115. arXiv:quant-ph/0208062. doi:10.1145/780542.780560

Algorithmic mechanism design (296 words) [view diff] exact match in snippet view article find links to article

abstract)", Proceedings of the thirty-first annual ACM symposium on Theory of Computing, pp. 129–140, doi:10.1145/301250.301287, ISBN 978-1581130676. Nisan

Brodal queue (914 words) [view diff] exact match in snippet view article find links to article

Strict Fibonacci heaps (PDF). Proceedings of the 44th symposium on Theory of Computing - STOC '12. pp. 1177–1184. CiteSeerX 10.1.1.233.1740. doi:10.1145/2213977

Succinct game (1,887 words) [view diff] case mismatch in snippet view article find links to article

Problems". Proceedings of the thirty-eighth annual ACM symposium on Theory of computing. Seattle, WA, USA: ACM. pp. 61–70. doi:10.1145/1132516.1132526. ISBN 1-59593-134-1

Parity P (468 words) [view diff] exact match in snippet view article find links to article

276737 Fortnow, Lance (2009), "A simple proof of Toda's theorem", Theory of Computing, 5: 135–140, doi:10.4086/toc.2009.v005a007 Köbler, Johannes; Schöning

Balanced Boolean function (444 words) [view diff] exact match in snippet view article find links to article

Ronald (eds.), Proceedings of the 37th Annual ACM Symposium on Theory of Computing, Baltimore, MD, USA, May 22–24, 2005, Association for Computing Machinery

Hilbert curve (1,285 words) [view diff] exact match in snippet view article find links to article

R. (2000). "On multidimensional curves with Hilbert property". Theory of Computing Systems. 33 (4): 295–312. CiteSeerX 10.1.1.7.2039. doi:10.1007/s002240010003

Planted clique (1,688 words) [view diff] exact match in snippet view article find links to article

Are Equivalent", Proceedings of the 56th Annual ACM Symposium on Theory of Computing, pp. 358–366, doi:10.1145/3618260.3649751, ISBN 979-8-4007-0383-6

Hilbert curve (1,285 words) [view diff] exact match in snippet view article find links to article

R. (2000). "On multidimensional curves with Hilbert property". Theory of Computing Systems. 33 (4): 295–312. CiteSeerX 10.1.1.7.2039. doi:10.1007/s002240010003

Quantum coin flipping (3,294 words) [view diff] case mismatch in snippet view article find links to article

are faulty". Proceedings of the eighteenth annual ACM symposium on Theory of computing - STOC '86. ACM. pp. 364–369. doi:10.1145/12130.12168. ISBN 0897911938

Conjunctive query (1,922 words) [view diff] case mismatch in snippet view article find links to article

Abstract)", Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82, pp. 137–146, CiteSeerX 10.1.1.331.6045, doi:10.1145/800070

Ludwig Staiger (445 words) [view diff] exact match in snippet view article find links to article

Liouville numbers, Borel normality and algorithmic randomness, Theory of Computing Systems, First online 27 April 2017, doi:10.1007/s00224-017-9767-8

CUR matrix approximation (981 words) [view diff] exact match in snippet view article find links to article

STOC '14 Proceedings of the forty-sixth annual ACM symposium on Theory of Computing. Song, Zhao; Woodruff, David P.; Zhong, Peilin (2017). Low Rank Approximation

Pagh's problem (236 words) [view diff] case mismatch in snippet view article find links to article

dynamic problems." Proceedings of the forty-second ACM symposium on Theory of computing. 2010. Henzinger, Monika, et al. "Unifying and strengthening hardness

Andrew Childs (926 words) [view diff] case mismatch in snippet view article find links to article

quantum walk". Proceedings of the thirty-fifth annual ACM symposium on Theory of computing. Vol. 35. pp. 59–68. arXiv:quant-ph/0209131. doi:10.1145/780542.780552

Conjecture (3,039 words) [view diff] exact match in snippet view article find links to article

proving procedures". Proceedings of the Third Annual ACM Symposium on Theory of Computing. pp. 151–158. doi:10.1145/800157.805047. ISBN 9781450374644. S2CID 7573663

Amin Shokrollahi (421 words) [view diff] case mismatch in snippet view article find links to article

codes". Proceedings of the twenty-ninth annual ACM symposium on Theory of computing - STOC '97. ACM. pp. 150–159. doi:10.1145/258533.258573. ISBN 978-0897918886

Dense subgraph (1,897 words) [view diff] exact match in snippet view article find links to article

STOC'10—Proceedings of the 2010 ACM International Symposium on Theory of Computing, ACM, New York, pp. 201–210, doi:10.1145/1806689.1806719, ISBN 9781450300506

Secure two-party computation (1,093 words) [view diff] case mismatch in snippet view article find links to article

mental game". Proceedings of the nineteenth annual ACM conference on Theory of computing - STOC '87. New York, New York, US: Association for Computing Machinery

Market equilibrium computation (5,818 words) [view diff] exact match in snippet view article find links to article

equilibria". Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing. STOC 2017. New York, NY, USA: Association for Computing Machinery

Grassfire transform (473 words) [view diff] exact match in snippet view article find links to article

Huttenlocher, Daniel P (2012). "Distance Transforms of Sampled Functions". Theory of Computing. 8: 415–28. CiteSeerX 10.1.1.88.1647. doi:10.4086/toc.2012.v008a019

Turing's Theory of Computing Machines". Presented at the meeting of the Association, 23–25 June 1954. Hao Wang (1957), "A Variant to Turing's Theory of Computing

Invertible matrix (7,170 words) [view diff] exact match in snippet view article find links to article

Linear Systems, Proceedings of the 17th Annual ACM Symposium on Theory of Computing, Providence: ACM Pan, Victor; Reif, John (1985), Harvard University

Zero-knowledge proof (8,198 words) [view diff] case mismatch in snippet view article find links to article

applications". Proceedings of the twentieth annual ACM symposium on Theory of computing - STOC '88 (PDF). pp. 103–112. doi:10.1145/62212.62222. ISBN 978-0897912648

Amplitude amplification (1,667 words) [view diff] exact match in snippet view article find links to article

Simon's problem". Proceedings of the Fifth Israeli Symposium on Theory of Computing and Systems. IEEE Computer Society Press. pp. 12–23. arXiv:quant-ph/9704027

VMAC (742 words) [view diff] case mismatch in snippet view article find links to article

(Extended Abstract)". Proceedings of the ninth annual ACM symposium on Theory of computing - STOC '77. ACM. pp. 106–112. doi:10.1145/800105.803400. S2CID 1302091

Gil Kalai (771 words) [view diff] exact match in snippet view article find links to article

subexponential randomized simplex algorithm", Proc. 24th ACM Symp. Theory of Computing (STOC 1992), pp. 475–482. Friedgut, Ehud; Kalai, Gil (1996), "Every

Johnson–Lindenstrauss lemma (5,140 words) [view diff] exact match in snippet view article find links to article

Dimensions", Proceedings of the Twenty-Ninth Annual ACM Symposium on Theory of Computing, STOC '97, New York, NY, USA: ACM, pp. 599–608, doi:10.1145/258533

János Pach (1,304 words) [view diff] exact match in snippet view article find links to article

supporting Fáry embeddings of planar graphs", Proc. 20th ACM Symp. Theory of Computing, pp. 426–433, doi:10.1145/62212.62254, ISBN 0-89791-264-0, S2CID 15230919

Satish B. Rao (546 words) [view diff] exact match in snippet view article find links to article

metrics by tree metrics," in Proceedings of 35th Annual ACM Symp. on Theory of Computing, New York, NY: ACM Press, 2003, pp. 448–455. K. Hildrum, J. D. Kubiatowicz

Leslie Valiant (1,220 words) [view diff] case mismatch in snippet view article find links to article

Valiant". Proceedings of the 41st annual ACM symposium on Symposium on theory of computing - STOC '09. pp. 1–2. doi:10.1145/1536414.1536415. ISBN 9781605585062

Karloff–Zwick algorithm (368 words) [view diff] case mismatch in snippet view article find links to article

theory", Proceedings of the thiry-fourth annual ACM symposium on Theory of computing, pp. 619–626, doi:10.1145/509907.509996, ISBN 1581134959, S2CID 94045

Akamai Technologies (2,529 words) [view diff] exact match in snippet view article find links to article

for Relieving Hot Spots on the World Wide Web". ACM Symposium on Theory of Computing, 1997, pp. 654–663. J. Dilley, B. Maggs, J. Parikh, H. Prokop, R

Leftist grammar (154 words) [view diff] case mismatch in snippet view article find links to article

annual ACM symposium on Theory of computing - STOC '00. Proceedings of the thirty-second annual ACM symposium on Theory of computing (STOC '00). pp. 306–315

Noga Alon (1,386 words) [view diff] exact match in snippet view article find links to article

1006/jcss.1997.1545. MR 1688610. Previously in the ACM Symposium on Theory of Computing (STOC), 1996. Alon, Noga (1999). "Combinatorial Nullstellensatz"

Quantum supremacy (6,035 words) [view diff] case mismatch in snippet view article find links to article

optics". Proceedings of the forty-third annual ACM symposium on Theory of computing. STOC '11. New York, New York, United States: Association for Computing

Chosen-ciphertext attack (1,105 words) [view diff] exact match in snippet view article find links to article

chosen ciphertext attacks". Proceedings 21st Annual ACM Symposium on Theory of Computing: 427–437. 1990. "Jonathan Katz and Moti Yung, Unforgeable Encryption

Time hierarchy theorem (2,513 words) [view diff] case mismatch in snippet view article find links to article

time complexity". Proceedings of the fourth annual ACM symposium on Theory of computing. STOC '72. Denver, Colorado, United States: ACM. pp. 187–192. doi:10

Game Description Language (1,562 words) [view diff] case mismatch in snippet view article find links to article

trees". Proceedings of the twenty-sixth annual ACM symposium on Theory of computing - STOC '94. pp. 750–759. doi:10.1145/195058.195451. ISBN 0-89791-663-8

Smoothed analysis (1,941 words) [view diff] case mismatch in snippet view article find links to article

algorithms", Proceedings of the thirty-third annual ACM symposium on Theory of computing, ACM, pp. 296–305, arXiv:cs/0111050, Bibcode:2001cs.......11050S

Functional encryption (534 words) [view diff] exact match in snippet view article find links to article

functional encryption - Stoc 13 Proceedings of the 2013 ACM Symposium on Theory of Computing. New York, NY, USA: ACM. pp. 555–564. ISBN 978-1-4503-2029-0. Amit

AWPP (269 words) [view diff] exact match in snippet view article find links to article

Stephen A. (2003). "PP-lowness and a simple definition of AWPP". Theory of Computing Systems. 36 (2): 199–212. doi:10.1007/s00224-002-1089-8. MR 1950277

Occam learning (1,710 words) [view diff] case mismatch in snippet view article find links to article

algorithms. In Proceedings of the twenty-second annual ACM symposium on Theory of computing (pp. 54-63). ACM. Haussler, D. (1988). Quantifying inductive bias:

Subadditive set function (589 words) [view diff] case mismatch in snippet view article find links to article

Bidders". Proceedings of the thirty-seventh annual ACM symposium on Theory of computing. pp. 610–618. doi:10.1145/1060590.1060681. ISBN 1-58113-960-8.

Levenshtein distance (2,477 words) [view diff] exact match in snippet view article find links to article

(unless SETH is false). Forty-Seventh Annual ACM on Symposium on Theory of Computing (STOC). arXiv:1412.0348. Bibcode:2014arXiv1412.0348B. Wong, C. K

Kenneth L. Clarkson (548 words) [view diff] exact match in snippet view article find links to article

for shortest path motion planning", Proc. 19th ACM Symposium on Theory of Computing, pp. 56–65, doi:10.1145/28395.28402, ISBN 0-89791-221-7, S2CID 12206444

Jon Kleinberg (978 words) [view diff] case mismatch in snippet view article find links to article

phenomenon". Proceedings of the thirty-second annual ACM symposium on Theory of computing - STOC '00. p. 163. doi:10.1145/335305.335325. ISBN 978-1581131840

Ronald Fagin (1,184 words) [view diff] exact match in snippet view article find links to article

Theoretical Aspects of Reasoning about Knowledge 1994, ACM Symposium on Theory of Computing 2005, and the International Conference on Database Theory 2009. Fagin

Computer Pioneer Award (421 words) [view diff] case mismatch in snippet view article find links to article

Glushkov Digital automation of computer architecture Jozef Gruska Theory of computing and organizational activities Jiri Horejs Informatics and computer

Parallel RAM (1,283 words) [view diff] case mismatch in snippet view article find links to article

access machines". Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78. New York, NY, USA: Association for Computing Machinery

Algorithm engineering (921 words) [view diff] exact match in snippet view article find links to article

the purpose of assessing the current goals and directions of the Theory of Computing (TOC) community" identified the slow speed of adoption of theoretical

Fixed-point logic (2,031 words) [view diff] case mismatch in snippet view article find links to article

Abstract)". Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82. New York, NY, USA: ACM. pp. 137–146. CiteSeerX 10.1.1

Isolation lemma (1,912 words) [view diff] case mismatch in snippet view article find links to article

complexity. Proceedings of the twenty-first annual ACM symposium on Theory of computing - STOC '89. p. 204. doi:10.1145/73007.73027. ISBN 0897913078. Calabro

Entanglement (graph measure) (369 words) [view diff] exact match in snippet view article

and G. Lenzi, The variable hierarchy of the mu-calculus is strict, Theory of Computing Systems, vol. 40, pp. 437–466 (2007) You can play the entanglement

List ranking (471 words) [view diff] case mismatch in snippet view article find links to article

computation", Proceedings of the sixteenth annual ACM symposium on Theory of computing - STOC '84, pp. 230–239, doi:10.1145/800057.808686, ISBN 0-89791-133-4

Selection algorithm (5,755 words) [view diff] exact match in snippet view article find links to article

Ivan (2019). "Cascade heap: towards time-optimal extractions". Theory of Computing Systems. 63 (4): 637–646. doi:10.1007/s00224-018-9866-1. MR 3942251

Catalytic computing (679 words) [view diff] case mismatch in snippet view article find links to article

Catalytic space". Proceedings of the forty-sixth annual ACM symposium on Theory of computing. STOC '14. New York, NY, USA: Association for Computing Machinery

RSA cryptosystem (8,481 words) [view diff] case mismatch in snippet view article find links to article

information". Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82. New York, NY, USA: Association for Computing Machinery

International Colloquium on Automata, Languages and Programming (629 words) [view diff] exact match in snippet view article find links to article

annually, alternates with the conference STOC (ACM Symposium on Theory of Computing). The list of computer science conferences contains other academic

Wang B-machine (515 words) [view diff] exact match in snippet view article find links to article

automaton Counter-machine model Hao Wang (1957), A Variant to Turing's Theory of Computing Machines, JACM (Journal of the Association for Computing Machinery)

Ski rental problem (1,822 words) [view diff] exact match in snippet view article find links to article

guessing game and randomized online algorithms. Annual ACM Symposium on Theory of Computing, 2000. http://portal.acm.org/citation.cfm?id=335385 A. R. Karlin

S. Rao Kosaraju (267 words) [view diff] exact match in snippet view article find links to article

n-body potential fields (preliminary version)", STOC '92: Proc. ACM Symp. Theory of Computing, ACM. S. Rao Kosaraju at the Mathematics Genealogy Project

Abbas El Gamal (847 words) [view diff] exact match in snippet view article find links to article

Retrieved 2018-07-24. "Abbas El Gamal | Simons Institute for the Theory of Computing". simons.berkeley.edu. Retrieved 2018-07-24. "Stocks". Bloomberg

Aleksandar Nikolov (computer scientist) (713 words) [view diff] exact match in snippet view article

include contributions to conferences such as STOC (Symposium on Theory of Computing), FOCS (Foundations of Computer Science), and SODA (Symposium on

Goldwasser–Micali cryptosystem (976 words) [view diff] case mismatch in snippet view article find links to article

information". Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82. pp. 365–377. doi:10.1145/800070.802212. ISBN 0897910702

Lov Grover (453 words) [view diff] exact match in snippet view article find links to article

for database search, Proceedings, 28th Annual ACM Symposium on the Theory of Computing, (May 1996) p. 212 Grover L.K.: From Schrödinger's equation to quantum

Bend minimization (733 words) [view diff] exact match in snippet view article find links to article

complexity, and crossing resolution of non-planar graph drawings", Theory of Computing Systems, 49 (3): 565–575, doi:10.1007/s00224-010-9275-6, MR 2822838

Succinct data structure (2,896 words) [view diff] exact match in snippet view article find links to article

tables". Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing. New York, NY, USA: ACM. pp. 1284–1297. arXiv:2111.00602. doi:10

Fáry's theorem (1,261 words) [view diff] exact match in snippet view article find links to article

embeddings of planar graphs", Twentieth Annual ACM Symposium on Theory of Computing, pp. 426–433, doi:10.1145/62212.62254, ISBN 0-89791-264-0, S2CID 15230919

Goldner–Harary graph (818 words) [view diff] case mismatch in snippet view article find links to article

planar graphs", Proceedings of the eighteenth annual ACM symposium on Theory of computing - STOC '86, pp. 104–108, doi:10.1145/12130.12141, ISBN 0-89791-193-8

Faith Ellen (281 words) [view diff] exact match in snippet view article find links to article

2005, retrieved 2015-01-08. "Faith Ellen | Simons Institute for the Theory of Computing". simons.berkeley.edu. Retrieved 2020-05-24. Attiya, Hagit; Ellen

Rotation map (484 words) [view diff] exact match in snippet view article find links to article

problem", Proceedings of the thirty-eighth annual ACM symposium on Theory of Computing, pp. 457–466, doi:10.1145/1132516.1132583, ISBN 978-1595931344, S2CID 17360260

Quadratic residuosity problem (1,204 words) [view diff] case mismatch in snippet view article find links to article

information". Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82. pp. 365–377. doi:10.1145/800070.802212. ISBN 0897910702

Flow network (3,091 words) [view diff] exact match in snippet view article find links to article

better". Proceedings of the forty-fifth annual ACM symposium on Theory of Computing. STOC '13. Palo Alto, California, USA: Association for Computing

Jeff Edmonds (382 words) [view diff] exact match in snippet view article find links to article

of Processes with Arbitrary Speedup Curves on a Multiprocessor", Theory of Computing Systems, 49 (4): 817–833, doi:10.1007/s00224-011-9349-0. Edmonds

Oblivious RAM (3,993 words) [view diff] exact match in snippet view article find links to article

Alfred V. (ed.), Proceedings of the 19th Annual ACM Symposium on Theory of Computing (STOC '87), Association for Computing Machinery, pp. 182–194, doi:10

Frieder Nake (929 words) [view diff] case mismatch in snippet view article find links to article

computer art, aesthetics, semiotics, computers and society, and theory of computing. He has been a visiting professor to Universitetet Oslo, Aarhus Universitet

Quantum walk (2,652 words) [view diff] exact match in snippet view article find links to article

algorithmic speedup by quantum walk, Proc. 35th ACM Symposium on Theory of Computing, pp. 59–68, 2003, arXiv:quant-ph/0209131. A. M. Childs, L. J. Schulman

Distance transform (552 words) [view diff] exact match in snippet view article find links to article

Huttenlocher, Daniel P. (2012). "Distance transforms of sampled functions". Theory of Computing. 8: 415–428. doi:10.4086/toc.2012.v008a019. MR 2967180. Chris Green

Arden's rule (353 words) [view diff] exact match in snippet view article find links to article

2011. Arden, D. N. (1960). Delayed logic and finite state machines, Theory of Computing Machine Design, pp. 1-35, University of Michigan Press, Ann Arbor

Gap theorem (549 words) [view diff] exact match in snippet view article find links to article

Michael A. (eds.). Proceedings of the 1st Annual ACM Symposium on Theory of Computing, May 5–7, 1969, Marina del Rey, CA, USA. Association for Computing

Distance transform (552 words) [view diff] exact match in snippet view article find links to article

Huttenlocher, Daniel P. (2012). "Distance transforms of sampled functions". Theory of Computing. 8: 415–428. doi:10.4086/toc.2012.v008a019. MR 2967180. Chris Green

Convex polytope (3,271 words) [view diff] exact match in snippet view article find links to article

Computation Trees", Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing (STOC '83), pp. 80–86, doi:10.1145/800061.808735. Lawrence, Jim (1991)

Heap (data structure) (2,918 words) [view diff] exact match in snippet view article

Strict Fibonacci heaps (PDF). Proceedings of the 44th symposium on Theory of Computing - STOC '12. pp. 1177–1184. CiteSeerX 10.1.1.233.1740. doi:10.1145/2213977

Bruno de Finetti (1,335 words) [view diff] exact match in snippet view article find links to article

applications". Proceedings of the forty-fifth annual ACM symposium on Theory of Computing. STOC '13. New York, NY, USA: ACM. pp. 861–870. arXiv:1210.6367.

Serge Abiteboul (831 words) [view diff] case mismatch in snippet view article find links to article

complexity". Proceedings of the twenty-third annual ACM symposium on Theory of computing - STOC '91. pp. 209–219. doi:10.1145/103418.103444. ISBN 978-0897913973

Lattice (group) (2,414 words) [view diff] case mismatch in snippet view article

cryptography". Proceedings of the thirty-seventh annual ACM symposium on Theory of computing. STOC '05. New York, NY, USA: ACM. pp. 84–93. CiteSeerX 10.1.1.110

Insertion sort (2,973 words) [view diff] exact match in snippet view article find links to article

Martín; Mosteiro, Miguel A. (2006). "Insertion sort is O(n log n)". Theory of Computing Systems. 39 (3): 391–397. arXiv:cs/0407003. doi:10.1007/s00224-005-1237-z

Expander graph (5,391 words) [view diff] exact match in snippet view article find links to article

sorting network", Proceedings of the 15th Annual ACM Symposium on Theory of Computing, pp. 1–9, doi:10.1145/800061.808726, ISBN 978-0-89791-099-6, S2CID 15311122

Push–relabel maximum flow algorithm (4,259 words) [view diff] case mismatch in snippet view article find links to article

STOC '86: Proceedings of the eighteenth annual ACM symposium on Theory of computing, and then officially in October 1988 as an article in the Journal

Multiplication algorithm (6,707 words) [view diff] case mismatch in snippet view article find links to article

Multiplication" (PDF). Proceedings of the thirty-ninth annual ACM symposium on Theory of computing, June 11–13, 2007, San Diego, California, USA. pp. 57–66. doi:10

K-server problem (1,383 words) [view diff] case mismatch in snippet view article find links to article

problems". Proceedings of the twentieth annual ACM symposium on Theory of computing - STOC '88. New York, NY, USA: Association for Computing Machinery

Pell's equation (6,725 words) [view diff] exact match in snippet view article find links to article

thirty-seventh annual ACM symposium on Theory of computing – STOC '05, New York: ACM, Symposium on Theory of Computing, pp. 475–480, CiteSeerX 10.1.1.420

Pollard's kangaroo algorithm (1,295 words) [view diff] case mismatch in snippet view article find links to article

Kangaroo? (PDF). Proceedings of the forty-first annual ACM symposium on Theory of computing (STOC 2009). pp. 553–560. arXiv:0812.0789. doi:10.1145/1536414.1536490

Boosting (machine learning) (2,178 words) [view diff] case mismatch in snippet view article

automata". Proceedings of the twenty-first annual ACM symposium on Theory of computing - STOC '89. Vol. 21. ACM. pp. 433–444. doi:10.1145/73007.73049. ISBN 978-0897913072

Tarjan's off-line lowest common ancestors algorithm (816 words) [view diff] exact match in snippet view article find links to article

of disjoint set union", Proceedings of the 15th ACM Symposium on Theory of Computing (STOC), pp. 246–251, doi:10.1145/800061.808753, ISBN 0-89791-099-0

Quadratic programming (1,931 words) [view diff] case mismatch in snippet view article find links to article

multicommodity flows". Proceedings of the eighteenth annual ACM symposium on Theory of computing - STOC '86. New York, NY, USA: Association for Computing Machinery

Jan Verelst (computer scientist) (467 words) [view diff] case mismatch in snippet view article

the same?." In Proceedings of the 2005 Australasian symposium on Theory of computing-Volume 41 (pp. 3–11). Australian Computer Society, Inc.. Ven, Kris

Loop-erased random walk (2,505 words) [view diff] exact match in snippet view article find links to article

'96: Proceedings of the Twenty-Eighth Annual ACM Symposium on the Theory of Computing (Philadelphia, PA, 1996), Association for Computing Machinery, New

Regular language (3,422 words) [view diff] case mismatch in snippet view article find links to article

"Word Problems Requiring Exponential Time". Proc. 5th ann. symp. on Theory of computing (STOC) (PDF). ACM. pp. 1–9. Hopcroft, Ullman (1979), Corollary p

Double-ended queue (2,280 words) [view diff] exact match in snippet view article find links to article

functional representations of catenable sorted lists. In ACM Symposium on Theory of Computing, pages 202–211, May 1996. (pp. 4, 82, 84, 124) Chris Okasaki (Aug

3SUM (2,677 words) [view diff] case mismatch in snippet view article find links to article

for dynamic problems", Proceedings of the 42nd ACM symposium on Theory of computing - STOC '10, pp. 603–610, doi:10.1145/1806689.1806772, ISBN 9781450300506

Binomial heap (2,566 words) [view diff] exact match in snippet view article find links to article

Strict Fibonacci heaps (PDF). Proceedings of the 44th symposium on Theory of Computing - STOC '12. pp. 1177–1184. CiteSeerX 10.1.1.233.1740. doi:10.1145/2213977

Bloom filter (10,805 words) [view diff] case mismatch in snippet view article find links to article

membership testers". Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78. New York, New York, USA: ACM Press. pp. 59–65. doi:10

Key-agreement protocol (1,473 words) [view diff] case mismatch in snippet view article find links to article

abstract)". Proceedings of the thirtieth annual ACM symposium on Theory of computing - STOC '98. Association for Computing Machinery. pp. 419–428. doi:10

Bellman–Ford algorithm (2,839 words) [view diff] exact match in snippet view article find links to article

O'Donnell, Ryan (eds.). Proceedings of the 56th Annual ACM Symposium on Theory of Computing, STOC 2024, Vancouver, BC, Canada, June 24–28, 2024. Association

Station-to-Station protocol (1,208 words) [view diff] exact match in snippet view article find links to article

exchange protocols", Proceedings of the 30th Annual Symposium on the Theory of Computing RFC 2412, "The OAKLEY Key Determination Protocol". ISO/IEC 117703

Optimal facility location (3,893 words) [view diff] case mismatch in snippet view article find links to article

clustering", Proceedings of the twentieth annual ACM symposium on Theory of computing - STOC '88, pp. 434–444, doi:10.1145/62212.62255, ISBN 0897912640

Baker's technique (875 words) [view diff] exact match in snippet view article find links to article

Vadhan, Salil P. (eds.), Proceedings of the 43rd ACM Symposium on Theory of Computing, STOC 2011, San Jose, CA, USA, 6–8 June 2011, ACM, pp. 441–450, doi:10

Digital signature (4,945 words) [view diff] case mismatch in snippet view article find links to article

applications". Proceedings of the twenty-first annual ACM symposium on Theory of computing - STOC '89. ACM. pp. 33–43. doi:10.1145/73007.73011. ISBN 978-0-89791-307-2

Kyber (1,473 words) [view diff] exact match in snippet view article find links to article

cryptography", Proceedings of the Thirty-Seventh Annual ACM Symposium on Theory of Computing (STOC '05) (in German), Baltimore, MD, USA: ACM Press, p. 84, arXiv:2401

Resistance distance (1,493 words) [view diff] case mismatch in snippet view article find links to article

times". Proceedings of the twenty-first annual ACM symposium on Theory of computing - STOC '89. pp. 574–685. doi:10.1145/73007.73062. ISBN 0897913078

H. T. Kung (955 words) [view diff] case mismatch in snippet view article find links to article

pebble game". Proceedings of the thirteenth annual ACM symposium on Theory of computing - STOC '81. New York, NY, USA: ACM. pp. 326–333. doi:10.1145/800076

Euler tour technique (977 words) [view diff] case mismatch in snippet view article find links to article

operation". Proceedings of the twenty-seventh annual ACM symposium on Theory of computing - STOC '95. p. 519. doi:10.1145/225058.225269. ISBN 0897917189. Euler

Treewidth (4,997 words) [view diff] exact match in snippet view article find links to article

John A. (eds.), Proceedings of the 24th Annual ACM Symposium on Theory of Computing, May 4-6, 1992, Victoria, British Columbia, Canada, ACM, pp. 221–228

Quantum entanglement (13,945 words) [view diff] case mismatch in snippet view article find links to article

entanglement". Proceedings of the thirty-fifth annual ACM symposium on Theory of computing. p. 10. arXiv:quant-ph/0303055. doi:10.1145/780542.780545. ISBN 978-1-58113-674-6

Paul Vitányi (598 words) [view diff] exact match in snippet view article find links to article

Distributed Computing (1987–2003), Information Processing Letters; the Theory of Computing Systems; the Parallel Processing Letters; the International journal

2-choice hashing (663 words) [view diff] case mismatch in snippet view article find links to article

abstract)" (PDF), Proceedings of the twenty-sixth annual ACM symposium on Theory of computing - STOC '94, Montréal: Association for Computing Machinery, pp. 593–602

BPP (complexity) (2,456 words) [view diff] exact match in snippet view article

Lemma". Proceedings of the Twenty-Ninth Annual ACM Symposium on Theory of Computing, pp. 220–229. doi:10.1145/258533.258590 Valentine Kabanets (2003)

Non-blocking algorithm (2,404 words) [view diff] exact match in snippet view article find links to article

Algorithms Practically Wait-Free?. Proc. 46th Annual ACM Symposium on Theory of Computing (STOC’14). pp. 714–723. arXiv:1311.3200. doi:10.1145/2591796.2591836

Connected dominating set (1,239 words) [view diff] exact match in snippet view article find links to article

ecology of parameters: an illustration using bounded max leaf number", Theory of Computing Systems, 45 (4): 822–848, doi:10.1007/s00224-009-9167-9, S2CID 4053586

Connected dominating set (1,239 words) [view diff] exact match in snippet view article find links to article

ecology of parameters: an illustration using bounded max leaf number", Theory of Computing Systems, 45 (4): 822–848, doi:10.1007/s00224-009-9167-9, S2CID 4053586

Group isomorphism problem (627 words) [view diff] case mismatch in snippet view article find links to article

Preliminary Report)". Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78. ACM Press. pp. 51–58. doi:10.1145/800133.804331. ISBN 978-1-4503-7437-8

Non-blocking algorithm (2,404 words) [view diff] exact match in snippet view article find links to article

Algorithms Practically Wait-Free?. Proc. 46th Annual ACM Symposium on Theory of Computing (STOC’14). pp. 714–723. arXiv:1311.3200. doi:10.1145/2591796.2591836

Semantic security (1,433 words) [view diff] exact match in snippet view article find links to article

keeping secret all partial information, Annual ACM Symposium on Theory of Computing, 1982. Shannon, Claude (1949). "Communication Theory of Secrecy Systems"

Indistinguishability obfuscation (2,277 words) [view diff] exact match in snippet view article find links to article

Indistinguishability Obfuscation (iO) | Simons Institute for the Theory of Computing". simons.berkeley.edu. Archived from the original on 22 August 2021

Budapest Semesters in Mathematics (484 words) [view diff] exact match in snippet view article find links to article

Introduction to Topology Mathematical Physics Independent Research Groups Theory of Computing Differential Geometry Dynamical Systems and Bifurcations Stochastic

Poset game (803 words) [view diff] exact match in snippet view article find links to article

complexity of computing winning strategies for finite poset games", Theory of Computing Systems, 48 (3): 680–692, CiteSeerX 10.1.1.150.3656, doi:10.1007/s00224-010-9254-y

Verifiable secret sharing (2,706 words) [view diff] exact match in snippet view article find links to article

majority. In Proceedings of the Twenty-First Annual ACM Symposium on theory of Computing (Seattle, Washington, United States, May 14–17, 1989). doi:10.1145/73007

Pavol Hell (385 words) [view diff] case mismatch in snippet view article find links to article

D.G. (1978). "Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78". STOC. pp. 240–245. doi:10.1145/800133.804353. Feder

Computation tree (298 words) [view diff] exact match in snippet view article find links to article

bounds for algebraic computation trees", Proc. 15th Annu. Symp. Theory of Computing, pp. 80–86, doi:10.1145/800061.808735, ISBN 0-89791-099-0. Grigoriev

L-reduction (1,017 words) [view diff] exact match in snippet view article find links to article

STOC '88: Proceedings of the twentieth annual ACM Symposium on Theory of Computing. doi:10.1145/62212.62233. Crescenzi, Pierluigi (1997). "A short guide

Randomized algorithm (4,256 words) [view diff] exact match in snippet view article find links to article

"Computing the volume is difficult", Proc. 18th ACM Symposium on Theory of Computing (Berkeley, California, May 28–30, 1986) (PDF), New York, NY: ACM

Aumann's agreement theorem (1,199 words) [view diff] case mismatch in snippet view article find links to article

(PDF). Proceedings of the thirty-seventh annual ACM symposium on Theory of computing. pp. 634–643. doi:10.1145/1060590.1060686. ISBN 978-1-58113-960-0

Library sort (927 words) [view diff] exact match in snippet view article find links to article

Mosteiro, Miguel A. (June 2006). "Insertion Sort is O(n log n)" (PDF). Theory of Computing Systems. 39 (3): 391–397. arXiv:cs/0407003. doi:10.1007/s00224-005-1237-z

PP (complexity) (2,357 words) [view diff] exact match in snippet view article

"PP is closed under intersection", Proceedings of ACM Symposium on Theory of Computing 1991, pp. 1–9, 1991. Lide Li (1993). On the Counting Functions (Ph

Greatest common divisor (4,747 words) [view diff] exact match in snippet view article find links to article

smoothness to achieve parallelism". 20th Annual ACM Symposium on Theory of Computing. New York. pp. 528–538. doi:10.1145/62212.62264. ISBN 0-89791-264-0

Aude Oliva (536 words) [view diff] exact match in snippet view article find links to article

basicresearch.defense.gov. Retrieved 2018-11-10. "Aude Oliva | Simons Institute for the Theory of Computing". simons.berkeley.edu. Retrieved 2018-11-10.

String-to-string correction problem (418 words) [view diff] case mismatch in snippet view article find links to article

Correction Problem". Proceedings of seventh annual ACM symposium on Theory of computing - STOC '75. pp. 218–223. doi:10.1145/800116.803771. ISBN 9781450374194

Tornado code (967 words) [view diff] case mismatch in snippet view article find links to article

codes". Proceedings of the twenty-ninth annual ACM symposium on Theory of computing - STOC '97. pp. 150–159. doi:10.1145/258533.258573. ISBN 0-89791-888-6

Janson inequality (656 words) [view diff] exact match in snippet view article find links to article

problem". Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing. pp. 442–453. arXiv:1809.04092. doi:10.1145/3313276.3316339. ISBN 978-1-4503-6705-9

3-dimensional matching (1,550 words) [view diff] exact match in snippet view article find links to article

hypergraphs", Proceedings of the forty-fifth annual ACM symposium on Theory of Computing, pp. 311–320, arXiv:1307.2608, Bibcode:2013arXiv1307.2608K, doi:10

Logical depth (300 words) [view diff] exact match in snippet view article find links to article

Teixeira, Andreia (2017-02-01). "Sophistication vs Logical Depth". Theory of Computing Systems. 60 (2): 280–298. arXiv:1304.8046. doi:10.1007/s00224-016-9672-6

Witness-indistinguishable proof (178 words) [view diff] case mismatch in snippet view article find links to article

protocols". Proceedings of the twenty-second annual ACM symposium on Theory of computing - STOC '90. pp. 416–426. doi:10.1145/100216.100272. ISBN 0897913612

Pablo Parrilo (246 words) [view diff] exact match in snippet view article find links to article

Retrieved 2024-10-03. "Pablo Parrilo". Simons Institute for the Theory of Computing. Retrieved 2024-10-03. "Pablo Parrilo". IDSS. Retrieved 2024-10-03

Janusz Brzozowski (computer scientist) (985 words) [view diff] exact match in snippet view article

2019-10-30 at the Wayback Machine at the University of Waterloo The Theory of Computing Hall of Fame Archived 2019-10-30 at the Wayback Machine Janusz A

First-fit bin packing (2,551 words) [view diff] case mismatch in snippet view article find links to article

allocation algorithms". Proceedings of the fourth annual ACM symposium on Theory of computing - STOC '72. pp. 143–150. doi:10.1145/800152.804907. S2CID 26654056

Algorithmic technique (913 words) [view diff] case mismatch in snippet view article find links to article

multidimensional space". Proceedings of the eighth annual ACM symposium on Theory of computing - STOC '76. New York, NY, USA: ACM. pp. 220–230. doi:10.1145/800113

Planar graph (4,589 words) [view diff] exact match in snippet view article find links to article

of fixed genus", Proceedings of the 12th Annual ACM Symposium on Theory of Computing (PDF), pp. 236–243, doi:10.1145/800141.804671, ISBN 978-0-89791-017-0

BQP (3,518 words) [view diff] exact match in snippet view article find links to article

(2007-03-30). "A Simple PromiseBQP-complete Matrix Problem" (PDF). Theory of Computing. 3 (4): 61–79. doi:10.4086/toc.2007.v003a004. Retrieved 2024-04-18

Diyi Yang (397 words) [view diff] exact match in snippet view article find links to article

Retrieved February 20, 2024. "Diyi Yang". Simons Institute for the Theory of Computing. Retrieved February 20, 2024. "Tutorials at ACL 2022". Archived from

Covering graph (1,409 words) [view diff] case mismatch in snippet view article find links to article

(Extended Abstract)". Proceedings of the twelfth annual ACM symposium on Theory of computing (STOC '80). Association for Computing Machinery. pp. 82–93. doi:10

Post–Turing machine (2,767 words) [view diff] case mismatch in snippet view article find links to article

Church's lambda calculus. Hao Wang (1957): "A variant to Turing's theory of computing machines", Journal of the Association for Computing Machinery (JACM)

Epsilon-equilibrium (1,416 words) [view diff] exact match in snippet view article find links to article

(2006). "Reducibility Among Equilibrium Problems". 38th Symposium on Theory of Computing. pp. 61–70. doi:10.1145/1132516.1132526. C. Daskalakis, P.W. Goldberg

Yael Tauman Kalai (502 words) [view diff] exact match in snippet view article find links to article

Researcher, Microsoft Research New England, Simons Institute for the Theory of Computing, 22 October 2014 Goodale, Zach (2024-05-23). "School of Engineering

Voronoi diagram (5,537 words) [view diff] case mismatch in snippet view article find links to article

diagrams". Proceedings of the thiry-fourth annual ACM symposium on Theory of computing. pp. 721–730. doi:10.1145/509907.510011. ISBN 1581134959. S2CID 1727373

Permutation automaton (453 words) [view diff] exact match in snippet view article find links to article

1016/S0019-9958(67)90481-0 Thierrin, Gabriel (March 1968). "Permutation automata". Theory of Computing Systems. 2 (1): 83–90. doi:10.1007/BF01691347. Janusz A. Brzozowski:

Sergey Bobkov (229 words) [view diff] exact match in snippet view article find links to article

"Sergey Bobkov". Current long-term visitors. Simons Institute for the Theory of Computing. Retrieved 2014-05-05. "Awardees: Mathematics". Humboldt Network

Michael A. Bender (451 words) [view diff] case mismatch in snippet view article find links to article

a pebble". Proceedings of the thirtieth annual ACM symposium on Theory of computing - STOC '98. pp. 269–278. CiteSeerX 10.1.1.8.1984. doi:10.1145/276698

Kim Border (384 words) [view diff] exact match in snippet view article find links to article

"On the Borders of Border's Theorem | Simons Institute for the Theory of Computing". simons.berkeley.edu. Retrieved 3 April 2021. Le Breton, Michel;

David Steurer (310 words) [view diff] exact match in snippet view article find links to article

STOC '15: Proceedings of the forty-seventh annual ACM symposium on Theory of Computing. STOC. Portland, Oregon: ACM. pp. 567–576. arXiv:1411.6317. Dinur

Sipser–Lautemann theorem (1,005 words) [view diff] exact match in snippet view article find links to article

approach to randomness". Proceedings of the 15th ACM Symposium on Theory of Computing. ACM Press: 330–335. CiteSeerX 10.1.1.472.8218. Lautemann, Clemens

Small-bias sample space (2,439 words) [view diff] case mismatch in snippet view article find links to article

applications", Proceedings of the twenty-second annual ACM symposium on Theory of computing - STOC '90, pp. 213–223, CiteSeerX 10.1.1.421.2784, doi:10.1145/100216

Frege system (912 words) [view diff] case mismatch in snippet view article find links to article

(Preliminary Version)". Proceedings of the sixth annual ACM symposium on Theory of computing - STOC '74. New York, NY, USA: Association for Computing Machinery

Stefan Langerman (575 words) [view diff] exact match in snippet view article find links to article

Langerman, Arthur; Langerman, Stefan (2006), "Morpion solitaire" (PDF), Theory of Computing Systems, 39 (3): 439–453, doi:10.1007/s00224-005-1240-4, MR 2218413

Dana Angluin (1,235 words) [view diff] case mismatch in snippet view article find links to article

and matchings". Proceedings of the ninth annual ACM symposium on Theory of computing - STOC '77. New York, New York, USA: ACM Press. pp. 30–41. doi:10

Mathematics (15,945 words) [view diff] exact match in snippet view article find links to article

STOC '92: Proceedings of the twenty-fourth annual ACM symposium on Theory of Computing. pp. 603–618. doi:10.1145/129712.129771. S2CID 11678884. Ewald, William

Approximation algorithm (3,126 words) [view diff] case mismatch in snippet view article find links to article

collide". Proceedings of the twenty-third annual ACM symposium on Theory of computing - STOC '91. New Orleans, Louisiana, United States: ACM Press. pp

Neil D. Jones (358 words) [view diff] case mismatch in snippet view article find links to article

polynomial time". Proceedings of the sixth annual ACM symposium on Theory of computing - STOC '74. pp. 40–46. doi:10.1145/800119.803883. S2CID 12251817

Katrina Ligett (349 words) [view diff] case mismatch in snippet view article find links to article

total anarchy", Proceedings of the fortieth annual ACM symposium on Theory of computing - STOC 08, p. 373, CiteSeerX 10.1.1.116.5105, doi:10.1145/1374376

Shortest common supersequence (1,034 words) [view diff] exact match in snippet view article find links to article

ratios". Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing (PDF). pp. 317–330. doi:10.1145/3519935.3520001. ISBN 9781450392648

Job-shop scheduling (2,578 words) [view diff] exact match in snippet view article find links to article

Algorithms for an Ancient Scheduling Problem". Proc. 24th ACM Symp. Theory of Computing. pp. 51–58. doi:10.1145/129712.129718. Karger, D.; S. Phillips; E

Multiparty communication complexity (1,175 words) [view diff] exact match in snippet view article find links to article

distributive computing", Proceedings of the 11th ACM Symposium on Theory of Computing (STOC '79), pp. 209–213, doi:10.1145/800135.804414, S2CID 999287

Provable security (2,177 words) [view diff] case mismatch in snippet view article find links to article

revisited", Proceedings of the forty-third annual ACM symposium on Theory of computing, pp. 89–98, arXiv:1011.1264, doi:10.1145/1993636.1993650, ISBN 9781450306911

Kneser graph (1,779 words) [view diff] exact match in snippet view article find links to article

are Hamiltonian", Proceedings of the 55th Annual ACM Symposium on Theory of Computing, pp. 963–970, arXiv:2212.03918, doi:10.1145/3564246.3585137, ISBN 978-1-4503-9913-5

Differentially private analysis of graphs (799 words) [view diff] case mismatch in snippet view article find links to article

analysis". Proceedings of the thirty-ninth annual ACM symposium on Theory of computing. New York, New York, USA: ACM Press. pp. 75–84. doi:10.1145/1250790

Shared snapshot objects (3,434 words) [view diff] case mismatch in snippet view article find links to article

test case". Proceedings of the twentieth annual ACM symposium on Theory of computing - STOC '88. pp. 78–92. doi:10.1145/62212.62220. ISBN 0-89791-264-0

Union theorem (290 words) [view diff] exact match in snippet view article find links to article

Proceedings of the First Annual ACM Symposium on Theory of Computing. ACM Symposium on Theory of Computing. STOC '69. Marina del Rey, California, USA: Association

Edith Hemaspaandra (264 words) [view diff] exact match in snippet view article find links to article

retrieved 2022-08-02 "In Memoriam – Alan Selman (1941 – 2021)", Theory of Computing Systems, 67 (3): 413–414, March 2021, doi:10.1007/s00224-021-10036-x

Lek-Heng Lim (288 words) [view diff] exact match in snippet view article find links to article

Retrieved 3 April 2022. "Lek-Heng Lim". Simons Institute for the Theory of Computing. Retrieved 3 April 2022. "LH's Homepage". University of Chicago.

Fast Fourier transform (7,815 words) [view diff] case mismatch in snippet view article find links to article

functions". Proceedings of the twenty-seventh annual ACM symposium on Theory of computing - STOC '95. Kyoto, Japan. pp. 407–416. doi:10.1145/225058.225167

Top tree (3,226 words) [view diff] exact match in snippet view article find links to article

connectivity", Proceedings of the Thirty-Second Annual {ACM} Symposium on Theory of Computing Holm, Jacob; Rotenberg, Eva; Thorup, Mikkel (2018), "Dynamic Bridge-Finding

Linear optical quantum computing (3,871 words) [view diff] exact match in snippet view article find links to article

Arkhipov, Alex (2013). "The computational complexity of linear optics". Theory of Computing. 9: 143–252. doi:10.4086/toc.2013.v009a004. Ball, Philip (2020).

Consensus (computer science) (4,769 words) [view diff] exact match in snippet view article

"Cloture Votes: n/4-resilient Distributed Consensus in t + 1 rounds". Theory of Computing Systems. 2. 26: 3–19. doi:10.1007/BF01187072. S2CID 6102847. Burrows

Hamiltonian path problem (2,518 words) [view diff] exact match in snippet view article find links to article

"Some simplified NP-complete problems", Proc. 6th ACM Symposium on Theory of Computing (STOC '74), pp. 47–63, doi:10.1145/800119.803884, S2CID 207693360

Descriptive complexity theory (2,548 words) [view diff] case mismatch in snippet view article find links to article

Abstract)". Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82. New York, NY, USA: ACM. pp. 137–146. CiteSeerX 10.1.1

Pseudorandom generator (1,864 words) [view diff] case mismatch in snippet view article find links to article

applications", Proceedings of the twenty-second annual ACM symposium on Theory of computing - STOC '90, pp. 213–223, CiteSeerX 10.1.1.421.2784, doi:10.1145/100216

Metric k-center (3,613 words) [view diff] case mismatch in snippet view article find links to article

clustering". Proceedings of the twentieth annual ACM symposium on Theory of computing - STOC '88. New York, NY, USA: Association for Computing Machinery

Conductance (graph theory) (1,428 words) [view diff] case mismatch in snippet view article

resolved". Proceedings of the twentieth annual ACM symposium on Theory of computing - STOC '88. ACM Press. pp. 235–244. doi:10.1145/62212.62234. ISBN 978-0-89791-264-8

Potential game (2,304 words) [view diff] case mismatch in snippet view article find links to article

equilibria". Proceedings of the thirty-sixth annual ACM symposium on Theory of computing. STOC '04. New York, NY, USA: Association for Computing Machinery

Fair cake-cutting (4,312 words) [view diff] exact match in snippet view article find links to article

Kanellopoulos, P.; Kyropoulou, M. (2011). "The Efficiency of Fair Division". Theory of Computing Systems. 50 (4): 589. CiteSeerX 10.1.1.475.9976. doi:10.1007/s00224-011-9359-y

Pairing heap (2,270 words) [view diff] exact match in snippet view article find links to article

Strict Fibonacci heaps (PDF). Proceedings of the 44th symposium on Theory of Computing - STOC '12. pp. 1177–1184. CiteSeerX 10.1.1.233.1740. doi:10.1145/2213977

Shuchi Chawla (258 words) [view diff] exact match in snippet view article find links to article

pricing" (PDF), Proceedings of the Forty-Second ACM Symposium on Theory of Computing (STOC '10), New York, NY, USA: ACM, pp. 311–320, arXiv:0907.2435

Regular tree grammar (1,299 words) [view diff] case mismatch in snippet view article find links to article

languages" (PDF). Proceedings of the thirty-sixth annual ACM symposium on Theory of computing - STOC '04. pp. 202–211. doi:10.1145/1007352.1007390. ISBN 978-1581138528

Distribution learning theory (3,845 words) [view diff] exact match in snippet view article find links to article

On the Learnability of Discrete Distributions. ACM Symposium on Theory of Computing, 1994 [1] L. Valiant A theory of the learnable. Communications of

Link/cut tree (2,567 words) [view diff] case mismatch in snippet view article find links to article

Dynamic Trees". Proceedings of the thirteenth annual ACM symposium on Theory of computing - STOC '81 (PDF). pp. 114–122. doi:10.1145/800076.802464. Sleator

Bounding sphere (1,736 words) [view diff] exact match in snippet view article find links to article

(PDF), Proceedings of the Thirty-Fourth Annual ACM Symposium on Theory of Computing, New York, NY, US: ACM, pp. 250–257, CiteSeerX 10.1.1.4.9395, doi:10

State complexity (3,392 words) [view diff] case mismatch in snippet view article find links to article

Finite Automata". Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78. STOC 1978. ACM. pp. 275–286. doi:10.1145/800133.804357

State complexity (3,392 words) [view diff] case mismatch in snippet view article find links to article

Finite Automata". Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78. STOC 1978. ACM. pp. 275–286. doi:10.1145/800133.804357

Compressed suffix array (744 words) [view diff] exact match in snippet view article find links to article

earlier version appeared in Proceedings of the 32nd ACM Symposium on Theory of Computing, May 2000, 397–406. Paolo Ferragina and Giovanni Manzini (2000).

Shlomi Dolev (2,400 words) [view diff] exact match in snippet view article find links to article

"Local stabilizer". Proceedings of the Fifth Israeli Symposium on Theory of Computing and Systems. pp. 74–84. doi:10.1109/ISTCS.1997.595159. ISBN 978-0-8186-8037-3

Quasi-bipartite graph (523 words) [view diff] case mismatch in snippet view article find links to article

relaxations". Proceedings of the forty-fourth annual ACM symposium on Theory of computing. p. 1161-1176. doi:10.1145/2213977.2214081. ISBN 9781450312455. S2CID 13424446

Peter Richtarik (886 words) [view diff] exact match in snippet view article find links to article

Fellows at CORE". Retrieved August 22, 2016. "Simons Institute for the Theory of Computing, UC Berkeley". Retrieved August 22, 2016. "Alan Turing Institute

Presburger arithmetic (3,274 words) [view diff] case mismatch in snippet view article find links to article

quantifier alternation". Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78. pp. 320–325. doi:10.1145/800133.804361. S2CID 13966721

Yuri Gurevich (836 words) [view diff] exact match in snippet view article find links to article

STOC '82: Proceedings of the Fourteenth annual ACM Symposium on Theory of Computing, 1982, 60-65. Y. Gurevich and S. Shelah. Expected computation time

Multiplicative weight update method (3,696 words) [view diff] exact match in snippet view article find links to article

Multiplicative Weights Update Method: A Meta-Algorithm and Applications". Theory of Computing. 8: 121–164. doi:10.4086/toc.2012.v008a006. "The Multiplicative Weights

Quantum Fourier transform (3,310 words) [view diff] case mismatch in snippet view article find links to article

groups". Proceedings of the twenty-ninth annual ACM symposium on Theory of computing - STOC '97. pp. 48–53. doi:10.1145/258533.258548. ISBN 0-89791-888-6

Turing machine (9,353 words) [view diff] case mismatch in snippet view article find links to article

Books/Doubleday. ISBN 978-0-385-49243-0. Hao Wang, "A variant to Turing's theory of computing machines", Journal of the Association for Computing Machinery (JACM)

Entropy compression (1,387 words) [view diff] exact match in snippet view article find links to article

STOC'09—Proceedings of the 2009 ACM International Symposium on Theory of Computing, New York: ACM, pp. 343–350, arXiv:0810.4812, doi:10.1145/1536414

Cograph (2,689 words) [view diff] exact match in snippet view article find links to article

solvable optimization problems on graphs of bounded clique-width", Theory of Computing Systems, 33 (2): 125–150, doi:10.1007/s002249910009, MR 1739644,

SNP (complexity) (860 words) [view diff] case mismatch in snippet view article

satisfaction". Proceedings of the twenty-fifth annual ACM symposium on Theory of computing - STOC '93. pp. 612–622. doi:10.1145/167088.167245. ISBN 0897915917

P versus NP problem (7,801 words) [view diff] exact match in snippet view article find links to article

proving procedures". Proceedings of the Third Annual ACM Symposium on Theory of Computing. pp. 151–158. doi:10.1145/800157.805047. ISBN 9781450374644. S2CID 7573663

Roger Wattenhofer (362 words) [view diff] exact match in snippet view article find links to article

2006). "Dynamic Analysis of the Arrow Distributed Protocol" (PDF). Theory of Computing Systems. 39 (6): 875–901. doi:10.1007/s00224-006-1251-9. hdl:20.500

Priority queue (5,015 words) [view diff] exact match in snippet view article find links to article

Strict Fibonacci heaps (PDF). Proceedings of the 44th symposium on Theory of Computing - STOC '12. pp. 1177–1184. CiteSeerX 10.1.1.233.1740. doi:10.1145/2213977

Bramble (graph theory) (955 words) [view diff] exact match in snippet view article

Theorem", Proceedings of the Forty-Seventh Annual ACM Symposium on Theory of Computing (STOC '15), Portland, Oregon, USA: ACM, pp. 655–664, arXiv:1411.5681

Best-fit bin packing (643 words) [view diff] case mismatch in snippet view article find links to article

allocation algorithms". Proceedings of the fourth annual ACM symposium on Theory of computing - STOC '72. pp. 143–150. doi:10.1145/800152.804907. S2CID 26654056

Distance-hereditary graph (2,292 words) [view diff] exact match in snippet view article find links to article

solvable optimization problems on graphs on bounded clique width", Theory of Computing Systems, 33 (2): 125–150, doi:10.1007/s002249910009, S2CID 15402031

Matrix norm (4,972 words) [view diff] case mismatch in snippet view article find links to article

inequality". Proceedings of the thirty-sixth annual ACM symposium on Theory of computing. STOC '04. Chicago, IL, USA: Association for Computing Machinery

Separable state (2,606 words) [view diff] exact match in snippet view article find links to article

quantum entanglement, in Proceedings of the 35th ACM Symposium on Theory of Computing, ACM Press, New York, 2003. Sevag Gharibian, Strong NP-Hardness of

Vizing's theorem (2,776 words) [view diff] exact match in snippet view article find links to article

Nikhil (eds.), Proceedings of the 57th Annual ACM Symposium on Theory of Computing, STOC 2025, Prague, Czechia, June 23–27, 2025, Association for Computing

Eun Jung Kim (computer scientist) (252 words) [view diff] exact match in snippet view article

Jung Kim", Current long-term visitors, Simons Institute for the Theory of Computing, 2015, retrieved 2022-03-08 "Ms Eun Jung Kim", Researcher profiles

Minimum spanning tree (5,458 words) [view diff] exact match in snippet view article find links to article

Heuristics for weighted perfect matching. 12th Annual ACM Symposium on Theory of Computing (STOC '80). New York, NY, USA: ACM. pp. 398–419. doi:10.1145/800141

Hyper-encryption (515 words) [view diff] case mismatch in snippet view article find links to article

model". Proceedings of the thiry-fourth annual ACM symposium on Theory of computing (PDF). pp. 341–350. doi:10.1145/509907.509960. ISBN 978-1581134957

Leftover hash lemma (588 words) [view diff] exact match in snippet view article find links to article

David S. (ed.), Proceedings of the 21st Annual ACM Symposium on Theory of Computing, May 14-17, 1989, Seattle, Washington, USA, {ACM}, pp. 12–24, doi:10

Cryptography (11,143 words) [view diff] case mismatch in snippet view article find links to article

randomness". Proceedings of the seventeenth annual ACM symposium on Theory of computing – STOC '85. pp. 421–429. CiteSeerX 10.1.1.130.3397. doi:10.1145/22145

Nested word (3,063 words) [view diff] case mismatch in snippet view article find links to article

languages" (PDF). Proceedings of the thirty-sixth annual ACM symposium on Theory of computing - STOC '04. pp. 202–211. doi:10.1145/1007352.1007390. ISBN 978-1581138528

Random matrix (7,510 words) [view diff] exact match in snippet view article find links to article

Arkhipov, Alex (2013). "The computational complexity of linear optics". Theory of Computing. 9: 143–252. doi:10.4086/toc.2013.v009a004. Russell, Nicholas; Chakhmakhchyan

Random-access stored-program machine (2,620 words) [view diff] exact match in snippet view article find links to article

effective understanding. Hao Wang (1957), A Variant to Turing's Theory of Computing Machines, JACM (Journal of the Association for Computing Machinery)

Timeline of quantum computing and communication (23,136 words) [view diff] exact match in snippet view article find links to article

of the 43rd annual ACM symposium on Theory of computing – STOC '11. 43rd Annual ACM Symposium on Theory of Computing. New York, New York, USA: ACM Press

Language equation (1,127 words) [view diff] exact match in snippet view article find links to article

Michal (2007). "The Power of Commuting with Finite Sets of Words". Theory of Computing Systems. 40 (4): 521–551. doi:10.1007/s00224-006-1321-z. ISSN 1432-4350

Not-all-equal 3-satisfiability (644 words) [view diff] exact match in snippet view article find links to article

complexity of satisfiability problems", Proc. Tenth ACM Symposium on Theory of Computing (STOC '78), New York: ACM, pp. 216–226, MR 0521057 Dinur, Irit; Regev

Control flow (6,236 words) [view diff] exact match in snippet view article find links to article

"Analysis of structured programs," Proc. Fifth Annual ACM Syrup. Theory of Computing, (May 1973), 240-252; also in J. Computer and System Sciences, 9

James Renegar (1,009 words) [view diff] exact match in snippet view article find links to article

Mathematics Genealogy Project "Jim Renegar". Simons Institute for the Theory of Computing. "James Renegar, Professor". Department of Mathematics, Cornell University

Four color theorem (6,333 words) [view diff] exact match in snippet view article find links to article

four-coloring planar graphs", Proceedings of the 28th ACM Symposium on Theory of Computing (STOC 1996), pp. 571–575, doi:10.1145/237814.238005, ISBN 0-89791-785-5

Kemeny method (2,877 words) [view diff] exact match in snippet view article find links to article

note on exact algorithms for vertex ordering problems on graphs", Theory of Computing Systems, 50 (3): 420–432, doi:10.1007/s00224-011-9312-0, hdl:1956/4556

Elad Hazan (748 words) [view diff] exact match in snippet view article find links to article

multiplicative weights update method: a meta-algorithm and applications. Theory of Computing, 8(1), 121–164. Hazan, E. (2019). Introduction to online convex optimization

Bipartite dimension (1,737 words) [view diff] exact match in snippet view article find links to article

Yerukhimovich, Arkady (2005), "Efficient data storage in large nanoarrays", Theory of Computing Systems, 38 (4): 503–536, doi:10.1007/s00224-004-1196-9, S2CID 5844939

Binary heap (5,124 words) [view diff] exact match in snippet view article find links to article

Strict Fibonacci heaps (PDF). Proceedings of the 44th symposium on Theory of Computing - STOC '12. pp. 1177–1184. CiteSeerX 10.1.1.233.1740. doi:10.1145/2213977

Four color theorem (6,333 words) [view diff] exact match in snippet view article find links to article

four-coloring planar graphs", Proceedings of the 28th ACM Symposium on Theory of Computing (STOC 1996), pp. 571–575, doi:10.1145/237814.238005, ISBN 0-89791-785-5

Control flow (6,236 words) [view diff] exact match in snippet view article find links to article

"Analysis of structured programs," Proc. Fifth Annual ACM Syrup. Theory of Computing, (May 1973), 240-252; also in J. Computer and System Sciences, 9

N-body simulation (4,082 words) [view diff] exact match in snippet view article find links to article

sets with applications to k-nearest-neighbors and n-body potential fields (preliminary version)". STOC '92: Proc. ACM Symp. Theory of Computing. ACM..

Odd graph (1,924 words) [view diff] exact match in snippet view article find links to article

STOC'18—Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, New York: ACM, pp. 912–919, arXiv:1711.01636, MR 3826304 Weisstein

Secret sharing (3,790 words) [view diff] case mismatch in snippet view article find links to article

abstract)". Proceedings of the twenty-fourth annual ACM symposium on Theory of computing - STOC '92. pp. 699–710. doi:10.1145/129712.129780. ISBN 0897915119

Jos Baeten (284 words) [view diff] case mismatch in snippet view article find links to article

2015, he returned to the University of Amsterdam as professor of theory of computing at the Institute of Logic, Language and Computation. He retired from

Exponential time hypothesis (3,047 words) [view diff] exact match in snippet view article find links to article

implies superpolynomial lower bounds", Proc. 42nd ACM Symposium on Theory of Computing (STOC 2010), New York, NY, USA: ACM, pp. 231–240, CiteSeerX 10.1

Join five (930 words) [view diff] exact match in snippet view article find links to article

Langerman, Arthur; Langerman, Stefan (2006), "Morpion solitaire" (PDF), Theory of Computing Systems, 39 (3): 439–453, doi:10.1007/s00224-005-1240-4, MR 2218413

Clarence Ellis (computer scientist) (1,308 words) [view diff] case mismatch in snippet view article

Bell Labs from 1969 to 1972 on probability theory applied to the theory of computing. In 1972 he became an assistant professor and a founding member of

Coreset (562 words) [view diff] case mismatch in snippet view article find links to article

streams". Proceedings of the thirty-seventh annual ACM symposium on Theory of computing. STOC '05. New York, NY, USA: Association for Computing Machinery

Game theory (15,397 words) [view diff] case mismatch in snippet view article find links to article

trees". Proceedings of the twenty-sixth annual ACM symposium on Theory of computing – STOC '94. pp. 750–759. doi:10.1145/195058.195451. ISBN 0-89791-663-8

Smallest grammar problem (464 words) [view diff] case mismatch in snippet view article find links to article

(PDF). Proceedings of the thirty-fourth annual ACM symposium on theory of computing (STOC 2002), Montreal, Quebec, Canada, May 19–21, 2002. New York

Reachability problem (887 words) [view diff] case mismatch in snippet view article find links to article

problem". Proceedings of the thirteenth annual ACM symposium on Theory of computing - STOC '81. New York, NY, USA: Association for Computing Machinery

Hao Huang (mathematician) (431 words) [view diff] case mismatch in snippet view article

polynomials". Proceedings of the twenty-fourth annual ACM symposium on Theory of computing - STOC '92. New York, NY, USA: ACM. pp. 462–467. doi:10.1145/129712

Computational social choice (1,549 words) [view diff] exact match in snippet view article find links to article

(2003-06-06). "Exact Complexity of the Winner Problem for Young Elections". Theory of Computing Systems. 36 (4): 375–386. arXiv:cs/0112021. doi:10.1007/s00224-002-1093-z

Decision tree model (3,227 words) [view diff] case mismatch in snippet view article find links to article

computation trees". Proceedings of the fifteenth annual ACM symposium on Theory of computing - STOC '83. New York, NY, USA: Association for Computing Machinery

Skew binary number system (1,120 words) [view diff] exact match in snippet view article find links to article

(2012). "Two Skew-Binary Numeral Systems and One Application" (PDF). Theory of Computing Systems. 50: 185–211. doi:10.1007/s00224-011-9357-0. S2CID 253736860

Tensor sketch (4,530 words) [view diff] case mismatch in snippet view article find links to article

Wayback Machine." Proceedings of the forty-second ACM symposium on Theory of computing. 2010. Rudelson, Mark, and Shuheng Zhou. "Reconstruction from anisotropic

Submodular set function (3,388 words) [view diff] case mismatch in snippet view article find links to article

oracle model". Proceedings of the fortieth annual ACM symposium on Theory of computing. STOC '08. New York, NY, USA: Association for Computing Machinery

Emina Soljanin (279 words) [view diff] exact match in snippet view article find links to article

Retrieved 2 December 2019. "Emina Soljanin". Simons Institute for the Theory of Computing. 19 June 2014. Retrieved 2 December 2019. "Emina Soljanin". IEEE

Device-independent quantum cryptography (914 words) [view diff] exact match in snippet view article find links to article

generation secure against quantum adversaries". The 44th Symposium on Theory of Computing (STOC). pp. 61–76. Miklos Santha, Umesh V. Vazirani (1984-10-24)

Uzi Vishkin (1,936 words) [view diff] exact match in snippet view article find links to article

an Extremely Fine-Grained Parallel Programming Approach" (PDF), Theory of Computing Systems, 36 (5): 551–552, doi:10.1007/s00224-003-1086-6, S2CID 1929495

Dasgupta's objective (573 words) [view diff] exact match in snippet view article find links to article

clustering", Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing (STOC 2016), New York, New York: ACM, pp. 118–127, arXiv:1510.05043

All nearest smaller values (1,348 words) [view diff] case mismatch in snippet view article find links to article

problems", Proceedings of the sixteenth annual ACM symposium on Theory of computing - STOC '84, New York, NY, USA: ACM, pp. 135–143, doi:10.1145/800057

Sanjeev Goyal (420 words) [view diff] exact match in snippet view article find links to article

Kearns (2012), Competitive Contagion in Networks, Symposium on the Theory of Computing. L. Ductor, M.Fafchamps, S. Goyal and M. v.d.Leij (2014), Social

Parameterized approximation algorithm (3,440 words) [view diff] case mismatch in snippet view article find links to article

inapproximability". Proceedings of the thirty-fifth annual ACM symposium on Theory of computing. STOC '03. New York, NY, USA: Association for Computing Machinery

Semidefinite programming (4,695 words) [view diff] case mismatch in snippet view article find links to article

every CSP?". Proceedings of the fortieth annual ACM symposium on Theory of computing. pp. 245–254. doi:10.1145/1374376.1374414. ISBN 9781605580470. S2CID 15075197

Sophistication (complexity theory) (229 words) [view diff] exact match in snippet view article

Fortnow, Lance (August 30, 2007). "Sophistication Revisited" (PDF). Theory of Computing Systems. 45: 150–161. doi:10.1007/s00224-007-9095-5. S2CID 2020289

Ring learning with errors key exchange (3,424 words) [view diff] case mismatch in snippet view article find links to article

cryptography". Proceedings of the thirty-seventh annual ACM symposium on Theory of computing. STOC '05. New York, NY, USA: ACM. pp. 84–93. CiteSeerX 10.1.1.110

Fourier transform on finite groups (2,063 words) [view diff] case mismatch in snippet view article find links to article

groups", Proceedings of the twenty-ninth annual ACM symposium on Theory of computing - STOC '97, pp. 48–53, doi:10.1145/258533.258548, ISBN 0-89791-888-6

Suffix array (3,775 words) [view diff] case mismatch in snippet view article find links to article

trees and arrays. Proceedings of the fourth annual ACM symposium on Theory of computing - STOC '72. pp. 125–136. doi:10.1145/800152.804905. Farach, M. (1997)

Stable matching problem (2,544 words) [view diff] exact match in snippet view article find links to article

David; Henzinger, Monika (eds.). Proceedings of the 50th Symposium on Theory of Computing (STOC 2018). Association for Computing Machinery. pp. 920–925. arXiv:1711

Cristina Sernadas (343 words) [view diff] exact match in snippet view article find links to article

include: Introdução à Teoria da Computação (Introduction to the Theory of Computing, Editorial Presença, 1993) Introdução à Programação em Mathematica

Nash equilibrium computation (7,429 words) [view diff] exact match in snippet view article find links to article

Equilibrium". Proceedings of the forty-seventh annual ACM symposium on Theory of Computing. STOC '15. New York, NY, USA: Association for Computing Machinery

Finger search tree (499 words) [view diff] case mismatch in snippet view article find links to article

linear lists". Proceedings of the ninth annual ACM symposium on Theory of computing - STOC '77. pp. 49–60. CiteSeerX 10.1.1.527.7294. doi:10.1145/800105

Brooks–Iyengar algorithm (1,837 words) [view diff] exact match in snippet view article find links to article

systems". Proceedings of the forty-fifth annual ACM symposium on Theory of Computing. STOC '13. New York, NY, USA: ACM. pp. 391–400. doi:10.1145/2488608

List of books in computational geometry (1,941 words) [view diff] exact match in snippet view article find links to article

Symposium on Discrete Algorithms (SODA) Annual ACM Symposium on Theory of Computing (STOC) Annual IEEE Symposium on Foundations of Computer Science (FOCS)