This article relies excessively on references to primary sources. Please improve this article by adding secondary or tertiary sources. Find sources: "Presburger Award" – news · newspapers · books · scholar · JSTOR(August 2020) (Learn how and when to remove this message)
The Presburger Award, started in 2010, is awarded each year by the European Association for Theoretical Computer Science (EATCS) to "a young scientist for outstanding contributions in theoretical computer science, documented by a published paper or a series of published papers." The award is named after Mojżesz Presburger who accomplished his path-breaking work on decidability of the theory of addition (which today is called Presburger arithmetic) as a student in 1929.
The PresburgerAward, started in 2010, is awarded each year by the European Association for Theoretical Computer Science (EATCS) to "a young scientist...
Computer Science (EATCS) confers each year at the conference ICALP the PresburgerAward to a young scientist (in exceptional cases to several young scientists)...
awarded the MacArthur Fellowship, the so-called "genius grant". In 2013, Demaine received the EATCS PresburgerAward for young scientists. The award citation...
of Computer Science." Guraswami was one of two winners of the 2012 PresburgerAward, given by the European Association for Theoretical Computer Science...
a Philip Leverhulme Prize in engineering in 2016. She won the PresburgerAward, awarded each year to "a young scientist for outstanding contributions...
Conference, including the Machtey Award and Danny Lewin Award for best student paper. In 2019, Larsen received the PresburgerAward from the European Association...
list of computer science awards is an index to articles on notable awards related to computer science. It includes lists of awards by the Association for...
research focuses on computational complexity theory. He also received a PresburgerAward from the European Association for Theoretical Computer Science in 2015...
the supervision of Kurt Mehlhorn. In 2019, Bringmann received the PresburgerAward from the European Association of Theoretical Computer Science for his...
The Kleene Award is awarded at the annual IEEE Symposium on Logic in Computer Science (LICS) to the author(s) of the best student paper(s). A paper qualifies...
implemented directly in SMT solvers; see, for instance, the decidability of Presburger arithmetic. SMT can be thought of as a constraint satisfaction problem...
Longoria, Paul McGuigan, Larry Shuman, David Lonner, John Mass, Paul Presburger, and Michael Garcia. It is based on the Mexican series Ellas son… la alegría...
statement in Presburger arithmetic requires even more time. Fischer and Rabin proved in 1974 that every algorithm that decides the truth of Presburger statements...
number theory Emil Post (1897–1954), mathematician and logician Mojżesz Presburger (1904 – c. 1943), mathematician and logician Vera Pless (1931–2020), combinatorics...
hard or even that most of them are. For example, the decision problem in Presburger arithmetic has been shown not to be in P, yet algorithms have been written...
W.W. Bledsoe (September 1975). "A New Method for Proving Certain Presburger Formulas". Proc. IJCAI (PDF). pp. 15–21. W.W. Bledsoe (1977). "Non-Resolution...
Computer". Robert E. Shostak (1977). "On the SUP-INF Method for Proving Presburger Formulas". Journal of the ACM. 24 (4): 529–543. doi:10.1145/322033.322034...
Global Information