STR2
From MaRDI portal
Software:26769
No author found.
Related Items (10)
Strong local consistency algorithms for table constraints ⋮ Computing and restoring global inverse consistency in interactive constraint satisfaction ⋮ STR2: optimized simple tabular reduction for table constraints ⋮ Generating custom propagators for arbitrary constraints ⋮ Scheduling double round-robin tournaments with divisional play using constraint programming ⋮ Generalized Hypertree Decomposition for solving non binary CSP with compressed table constraints ⋮ From MDD to BDD and arc consistency ⋮ STR3: a path-optimal filtering algorithm for table constraints ⋮ Optimal and efficient filtering algorithms for table constraints ⋮ Improving the lower bound of simple tabular reduction
This page was built for software: STR2
