On Symmetric Circuits and Fixed-Point Logics.

Matthew Anderson Anuj Dawar

Published in: STACS (2014)

Keyphrases

fixed point
default logic
expressive power
sufficient conditions
dynamical systems
modal logic
floating point
belief propagation
database
constraint databases
bargaining solution
learning algorithm
computer vision
image segmentation