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

Miika Hannula Juha Kontinen Martin Lück Jonni Virtema

Published in: CSL (2021)

Keyphrases

boolean logic
np hard
database systems
higher order
worst case
database
artificial intelligence
object oriented
boolean functions
space complexity
truth values