The following pages link to (Q5715726):
Displayed 7 items.
- STR2: optimized simple tabular reduction for table constraints (Q429802) (← links)
- Galois connections for patterns: an algebra of labelled graphs (Q2044173) (← links)
- A new branch-and-filter exact algorithm for binary constraint satisfaction problems (Q2077912) (← links)
- Optimal and efficient filtering algorithms for table constraints (Q2342592) (← links)
- Partition search for non-binary constraint satisfaction (Q2372239) (← links)
- Binarisation for Valued Constraint Satisfaction Problems (Q5371026) (← links)
- Virtual pairwise consistency in cost function networks (Q6080987) (← links)