Separating Rank Logic from Polynomial Time.

Published in: LICS (2021)

Keyphrases

logic programming
special case
modal logic
computational complexity
truth table
multi valued
classical logic
genetic algorithm
worst case
automated reasoning
asynchronous circuits
databases
ranked list
computational properties
rank order
monadic second order logic