Algebraic Proof Systems (Invited Talk).

Toniann Pitassi

Published in: ICALP (2021)

Keyphrases

invited talk
data sets
management system
intelligent systems
databases
decision making
distributed systems
building blocks
complex systems
retrieval systems