Expander-Based Cryptography Meets Natural Proofs.

Igor Carboni Oliveira Rahul Santhanam Roei Tell

Published in: Electron. Colloquium Comput. Complex. (2018)

Keyphrases

cellular automata
database
real world
decision making
theorem proving
artificial systems
data mining
genetic algorithm
computer vision
database systems
multi agent
probabilistic model