On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic.

Miika Hannula Juha Kontinen Martin Lück Jonni Virtema

Published in: CoRR (2020)

Keyphrases

boolean logic
np hard
computational complexity
worst case
higher order
artificial intelligence
natural language
truth values
expert systems
motion estimation
space complexity