Temporal Constraint Satisfaction Problems in Fixed-Point Logic.

Manuel Bodirsky Wied Pakusa Jakub Rydval

Published in: CoRR (2020)

Keyphrases

fixed point
sufficient conditions
dynamical systems
logic programming
floating point
higher order
belief propagation
free energy
fixed point theorem
search algorithm
high quality
dynamic programming