Pages that link to "Item:Q3524245"
From MaRDI portal
The following pages link to Generalized Arc Consistency for Positive Table Constraints (Q3524245):
Displaying 13 items.
- Strong local consistency algorithms for table constraints (Q272003) (← links)
- STR2: optimized simple tabular reduction for table constraints (Q429802) (← links)
- Dealing with satisfiability and \(n\)-ary CSPs in a logical framework (Q438582) (← links)
- Domain consistency with forbidden values (Q481709) (← links)
- Reformulating table constraints using functional dependencies-an application to explanation generation (Q941813) (← links)
- An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints (Q968351) (← links)
- Minimization of locally defined submodular functions by optimal soft arc consistency (Q1020491) (← links)
- Random constraint satisfaction: easy generation of hard (satisfiable) instances (Q1028939) (← links)
- Scheduling double round-robin tournaments with divisional play using constraint programming (Q1751946) (← links)
- STR3: a path-optimal filtering algorithm for table constraints (Q2341830) (← links)
- Optimal and efficient filtering algorithms for table constraints (Q2342592) (← links)
- Generating custom propagators for arbitrary constraints (Q2453695) (← links)
- A CP-based automatic tool for instantiating truncated differential characteristics (Q6623305) (← links)
