Intersection Classes in TFNP and Proof Complexity.

Yuhao Li William Pires Robert Robere

Published in: ITCS (2024)

Keyphrases

tractable cases
complexity measures
databases
machine learning
decision problems
real time
neural network
feature selection
knowledge base
lower complexity