Polynomial-Time Axioms of Choice and Polynomial-Time Cardinality.

Joshua A. Grochow

Published in: CoRR (2023)

Keyphrases

special case
computational complexity
knowledge base
approximation algorithms
bounded treewidth
neural network
case study
database systems
np hard
worst case
first order logic
finite automata
np hardness
approximation ratio