Login / Signup
The Presburger Award 2021 - Laudatio for Shayan Oveis Gharan.
Thore Husfeldt
Published in:
Bull. EATCS (2021)
Keyphrases
</>
selected papers
invited talk
presburger arithmetic
databases
neural network
knowledge base
lower bound
association rules