Complexity of Two-Variable Dependence Logic and IF-Logic.

Juha Kontinen Antti Kuusisto Peter Lohmann Jonni Virtema

Published in: LICS (2011)

Keyphrases

multi valued
digital circuits
neural network
logic programming
classical logic
asynchronous circuits
data sets
modal logic
probability theory
computational properties
model checking