Non-uniform complexity via non-wellfounded proofs.

Gianluca Curzi Anupam Das

Published in: CoRR (2022)

Keyphrases

computational cost
database systems
neural network
data mining
special case
decision problems
theorem prover
decision procedures
lower complexity