Complexity Thresholds in Inclusion Logic.

Miika Hannula Lauri Hella

Published in: CoRR (2019)

Keyphrases

neural network
decision problems
computational complexity
worst case
automated reasoning
genetic algorithm
upper bound
modal logic
set theory