Space in weak propositional proof systems.

Ilario Bonacina

Published in: Bull. EATCS (2016)

Keyphrases

complex systems
multi agent systems
search space
learning algorithm
face recognition
management system
distributed systems
low dimensional
np complete
learning systems
space time
first order logic
parameter space
propositional logic