Leonid Anatolievich Levin (/leɪ.oʊˈniːd ˈlɛvɪn/ lay-oh-NEED LEV-in; Russian: Леони́д Анато́льевич Ле́вин; Ukrainian: Леоні́д Анато́лійович Ле́він; born...

satisfiability problem. The theorem is named after Stephen Cook and Leonid Levin. The proof is due to Richard Karp, based on an earlier proof (using a...

has a hard-core predicate, then it must be one way. Oded Goldreich and Leonid Levin (1989) showed how every one-way function can be trivially modified to...

President of Ukraine Leonid Kuravlyov (1936–2022), Soviet and Russian actor Leonid Levin (b. 1948), Soviet-American computer scientist Leonid Fyodorovich Myasin...

1944), American psychiatrist and author Leonid Levin (born 1948), Russian-born computer scientist Lev Levin (1870–1938) Physician, born Odessa, executed...

Along with the works of e.g. Solomonoff, Kolmogorov, Martin-Löf, and Leonid Levin, algorithmic information theory became a foundational part of theoretical...

lemma is a lemma in cryptography first stated by Russell Impagliazzo, Leonid Levin, and Michael Luby. Imagine that you have a secret key X that has n uniform...

from the translation of Burden into English by Elisavietta Ritchie, Leonid Levin and Birgitta Ingemanson, with the assistance of Professor Paul Brians...

can be infinite. One way of dealing with this issue is a variant of Leonid Levin's Search Algorithm, which limits the time spent computing the success...

"The complexity of theorem proving procedures" (and independently by Leonid Levin in 1973). Although the P versus NP problem was formally defined in 1971...

speed-up theorem. The field began to flourish in 1971 when Stephen Cook and Leonid Levin proved the existence of practically relevant problems that are NP-complete...

were established. In 1971, Stephen Cook and, working independently, Leonid Levin, proved that there exist practically relevant problems that are NP-complete...

theorem was proven independently by Leonid Levin in the Soviet Union, and has thus been given the name the Cook–Levin theorem. The paper also formulated...

Kurzweil, OCR, speech recognition Jaron Lanier, virtual reality pioneer Leonid Levin, Soviet Ukraine-born computer scientist; computational complexity, Knuth...

Stephen Cook at the University of Toronto in 1971 and independently by Leonid Levin at the Russian Academy of Sciences in 1973. Until that time, the concept...

Bellare, Zvika Brakerski, Shafi Goldwasser, Shai Halevi, Tali Kaufman, Leonid Levin, Noam Nisan, Dana Ron, Madhu Sudan, Luca Trevisan, Salil Vadhan, Avi...

students who are now famous computer scientists; these include Nancy Lynch, Leonid Levin, Jeanne Ferrante, Charles Rackoff, Larry Stockmeyer, David Harel, Joseph...

Belarusian artist and Chairman of the Jewish communities of Belarus, Leonid Levin, and the sculptor Elsa Pollak from Israel. On the obelisk is written...

used one is based on self-delimiting programs, and is mainly due to Leonid Levin (1974). An axiomatic approach to Kolmogorov complexity based on Blum...

Soviet-Israeli-American mathematician Grigory Landsberg - physicist Leonid Levin - Soviet-American mathematician and computer scientist Vladimir Levenshtein...

paradigm was championed by A. N. Kolmogorov along with contributions from Leonid Levin and Gregory Chaitin. For finite sequences, Kolmogorov defines randomness...

Barenblatt Roland Dobrushin Eugene Dynkin Israil Gelfand Boris Gnedenko Leonid Levin Valerii Kozlov Per Martin-Löf Robert Minlos Andrei Monin Sergey Nikolsky...

was a close friend of the painter Leonid Pasternak, Moscow in years - a doctor throughout the Pasternak family. Levin was arrested on December 3, 1937...

automaton, Levenshtein coding and Levenshtein distance Leonid Levin, IT scientist, developed the Cook-Levin theorem Yuri Linnik, developed Linnik's theorem in...

graph isomorphism testing, Université de Montréal, D.M.S. No. 79-10. Leonid Levin, The Tale of One-way Functions, Problems of Information Transmission...

Gail Kruvand – bass David Kutch – mastering Ellin La Var – hair stylist Leonid Levin – violin Jesse Levy – cello Ezekiel Lewis – vocal arrangement, background...

Solomon Lefschetz, mathematician Vladimir Levenshtein, mathematician Leonid Levin, mathematician, computational complexity theory Jacob Levitzki, Ukrainian-Israeli...

mathematical seminar at Kharkov university, Ukraine Leonid Levin, computer scientist, developed the Cook-Levin theorem Yuri Linnik, developed Linnik's theorem...

quantity of independent interest is by another well-known mathematician, Leonid Levin, in 1976, within the theory of algorithmic randomness. With the exception...

independently by Stephen Cook (1971 in the U.S.) and by Leonid Levin (1973 in the USSR). Levin was not aware of Cook's achievement because of communication...