- An Efficient Engine for Fixed Points with Constraints.

Krystof Hoder Nikolaj Bjørner Leonardo Mendonça de Moura

Published in: CAV (2011)

Keyphrases

fixed point
initial conditions
stationary points
sufficient conditions
linear logic
dynamical systems
asymptotic properties
free energy
approximate value iteration
temporal difference learning
pairwise
probability distribution
belief propagation
linear constraints