Login / Signup
The Presburger Award 2016 - Call for Nominations.
Claire Mathieu
Published in:
Bull. EATCS (2015)
Keyphrases
</>
invited talk
presburger arithmetic
selected papers
conference proceedings
information retrieval
objective function
dynamic programming