The Presburger Award 2018 - Laudatio for Aleksander Madry.

Stephan Kreutzer

Published in: Bull. EATCS (2018)

Keyphrases

selected papers
invited talk
presburger arithmetic
databases
computational complexity
conference proceedings
database systems
expert systems
high level
feature extraction
bayesian networks
lower bound
linear programming
logic programs