Generalized Arc Consistency for Positive Table Constraints
From MaRDI portal
Recommendations
- Strong local consistency algorithms for table constraints
- An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
- A generic arc-consistency algorithm and its specializations
- Arc consistency revisited
- scientific article; zbMATH DE number 2088040
Cited in
(18)- Minimization of locally defined submodular functions by optimal soft arc consistency
- Random constraint satisfaction: easy generation of hard (satisfiable) instances
- Scheduling double round-robin tournaments with divisional play using constraint programming
- STR3: a path-optimal filtering algorithm for table constraints
- Optimal and efficient filtering algorithms for table constraints
- Generating custom propagators for arbitrary constraints
- Strong local consistency algorithms for table constraints
- A path-optimal GAC algorithm for table constraints
- GAC Via Unit Propagation
- STR2: optimized simple tabular reduction for table constraints
- Dealing with satisfiability and \(n\)-ary CSPs in a logical framework
- scientific article; zbMATH DE number 2084741 (Why is no real title available?)
- scientific article; zbMATH DE number 2088040 (Why is no real title available?)
- Domain consistency with forbidden values
- The smart table constraint
- A CP-based automatic tool for instantiating truncated differential characteristics
- Reformulating table constraints using functional dependencies-an application to explanation generation
- An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
This page was built for publication: Generalized Arc Consistency for Positive Table Constraints
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3524245)
