Expansions of pseudofinite structures and circuit and proof complexity.

Published in: CoRR (2015)

Keyphrases

computational complexity
high speed
neural network
artificial neural networks
worst case
theorem proving
analog circuits
real time
databases
learning algorithm
website
case study
image sequences
memory requirements
theorem prover
lower complexity