STR3: A path-optimal filtering algorithm for table constraints
Keywords: محدودیت های غیر باینری; Constraint satisfaction problems; Generalized arc consistency; Non-binary constraints; Backtracking search;