The 2-Dimensional Constraint Loop Problem is Decidable.

Quentin Guilmant Engel Lefaucheux Joël Ouaknine James Worrell

Published in: CoRR (2024)

Keyphrases

multi dimensional
information systems
first order logic
constraint solving
transitive closure
linear constraints
datalog programs
real time
machine learning
social networks
relational databases