The Complexity of Satisfaction Problems in Reverse Mathematics.

Published in: CiE (2014)

Keyphrases

decision problems
real time
multi objective
database
computer science
optimization problems
problems involving
np hardness
word problems
reinforcement learning
worst case
benchmark problems
mathematical programming
polynomial hierarchy
tractable cases