The 2-Dimensional Constraint Loop Problem Is Decidable.

Quentin Guilmant Engel Lefaucheux Joël Ouaknine James Worrell

Published in: ICALP (2024)

Keyphrases

multi dimensional
constraint solving
neural network
learning algorithm
first order logic
constraint networks
penalty function
datalog programs
cardinality constraints