The Optimal Fixed Point Combinator.

Arthur Charguéraud

Published in: ITP (2010)

Keyphrases

fixed point
sufficient conditions
floating point
dynamical systems
constraint databases
fixed point theorem
dynamic programming
worst case
belief propagation
optimal solution
graphical models
optimal control
variational inequalities
free energy
bargaining solution