Login / Signup
The exponential-time hypothesis and the relative complexity of optimization and logical reasoning problems.
Peter Jonsson
Victor Lagerkvist
Johannes Schmidt
Hannes Uppman
Published in:
Theor. Comput. Sci. (2021)
Keyphrases
</>
reasoning problems
description logics
decision procedures
reasoning tasks
optimization problems
computational properties
computational complexity
worst case
constraint satisfaction problems
search space
np complete
semantic annotation