Presburger Award 2023 - Laudatio.

Mikolaj Bojanczyk

Published in: Bull. EATCS (2023)

Keyphrases

invited talk
presburger arithmetic
selected papers
genetic algorithm
computational intelligence
conference proceedings
quantifier elimination