Span programs for functions with constant-sized 1-certificates: extended abstract.

Aleksandrs Belovs

Published in: STOC (2012)

Keyphrases

extended abstract
decision trees
automatic programming
case study
real time
information retrieval
artificial intelligence
decision making
multi agent
access control
public key
control structures
control program
functional language