Temporal Constraint Satisfaction Problems in Fixed-Point Logic.

Manuel Bodirsky Wied Pakusa Jakub Rydval

Published in: LICS (2020)

Keyphrases

fixed point
sufficient conditions
dynamical systems
fixed point theorem
floating point
logic programming
belief propagation
variational inequalities
policy iteration
constraint databases
bargaining solution
np hard
integrity constraints