The Presburger Award 2020 - Laudatio for Dmitriy Zhuk.

Published in: Bull. EATCS (2020)

Keyphrases

invited talk
presburger arithmetic
selected papers
machine learning
genetic algorithm
database systems
information technology
data mining
artificial intelligence
image processing
objective function
search algorithm
software engineering
quantifier elimination