Proof Complexity (Dagstuhl Seminar 18051).

Albert Atserias Jakob Nordström Pavel Pudlák Rahul Santhanam

Published in: Dagstuhl Reports (2018)

Keyphrases

worst case
computational complexity
database
genetic algorithm
learning algorithm
artificial intelligence
high level
relational databases
evolutionary algorithm
probabilistic model
complexity analysis