On Symmetric Circuits and Fixed-Point Logics.

Matthew Anderson Anuj Dawar

Published in: CoRR (2014)

Keyphrases

fixed point
default logic
floating point
expressive power
sufficient conditions
belief propagation
modal logic
constraint databases
variational inequalities
dynamical systems
higher order