A generic arc-consistency algorithm and its specializations
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1696807
- scientific article; zbMATH DE number 2088040
- An optimal coarse-grained arc consistency algorithm
- scientific article; zbMATH DE number 1975613
- AC-*: A Configurable, Generic and Adaptive Arc Consistency Algorithm
- A distributed arc-consistency algorithm
- An optimal arc consistency algorithm for a particular case of sequence constraint
- Generalised arc consistency for the AllDifferent constraint: an empirical survey
- Principles and Practice of Constraint Programming – CP 2004
Cites work
- A language and a program for stating and solving combinatorial problems
- A microkernel architecture for constraint programming
- Amortized Computational Complexity
- Consistency in networks of relations
- scientific article; zbMATH DE number 5542185 (Why is no real title available?)
- Network-based heuristics for constraint-satisfaction problems
- Networks of constraints: Fundamental properties and applications to picture processing
- On the parallel complexity of discrete relaxation in constraint satisfaction networks
- Solving a cutting-stock problem with the constraint logic programming language CHIP
- Solving large combinatorial problems in logic programming
- Synthesizing constraint expressions
Cited in
(81)- Approximated consistency for the automatic recording constraint
- Peek arc consistency
- An optimal k-consistency algorithm
- No more ``Partial and ``Full Looking Ahead
- The job shop scheduling problem: Conventional and new solution techniques
- Constraints, consistency and closure
- Using constraint metaknowledge to reduce arc consistency computation
- Constraint satisfaction over connected row-convex constraints
- Fast parallel constraint satisfaction
- Characterising tractable constraints
- Arc-consistency for continuous variables
- Model-based inference in CHARME.
- Fast algebraic methods for interval constraint problems
- A distributed arc-consistency algorithm
- Local and global relational consistency
- Constraint satisfaction problem with bilevel constraint: Application to interpretation of over-segmented images
- Timetable planning using the constraint-based reasoning
- Using recipe classes for supporting detailed planning in food industry: A case study
- Constraint propagation techniques for the disjunctive scheduling problem
- Decomposable constraints
- Backjump-based backtracking for constraint satisfaction problems
- An efficient algorithm for a class of constraint satisfaction problems
- Arc-based integer programming formulations for three variants of proportional symbol maps
- New model and heuristics for safety stock placement in general acyclic supply chain networks
- A new tractable class of constraint satisfaction problems
- Constraint satisfaction problems: Algorithms and applications
- Constraint processing. Proceedings of workshops held in conjunction with the international congress on computer systems and applied mathematics (CSAM '93) in St. Petersburg, Russia and the European conference on artificial intelligence (ECAI '94) held in Amsterdam, Netherlands
- The essence of constraint propagation
- On the arc consistency problem
- A distributed optimization method for the geographically distributed data centres problem
- A branch and bound algorithm for agile earth observation satellite scheduling
- From MDD to BDD and arc consistency
- STR3: a path-optimal filtering algorithm for table constraints
- An optimal arc consistency algorithm for a particular case of sequence constraint
- Propagation engine prototyping with a domain specific language
- Optimal and efficient filtering algorithms for table constraints
- Partition search for non-binary constraint satisfaction
- On the speed of constraint propagation and the time complexity of arc consistency testing
- The complexity of soft constraint satisfaction
- An optimal coarse-grained arc consistency algorithm
- A hybrid setup for a hybrid scenario: combining heuristics for the home health care problem
- scientific article; zbMATH DE number 1696807 (Why is no real title available?)
- On the speed of constraint propagation and the time complexity of arc consistency testing
- scientific article; zbMATH DE number 4162274 (Why is no real title available?)
- AC-*: A Configurable, Generic and Adaptive Arc Consistency Algorithm
- Maintaining Arc Consistency Algorithms During the Search Without Additional Space Cost
- Generalized Arc Consistency for Positive Table Constraints
- Bounds of graph parameters for global constraints
- Arc-Consistency Checking with Bilevel Constraints: An Optimization
- scientific article; zbMATH DE number 67482 (Why is no real title available?)
- scientific article; zbMATH DE number 1975613 (Why is no real title available?)
- scientific article; zbMATH DE number 1487976 (Why is no real title available?)
- scientific article; zbMATH DE number 1487979 (Why is no real title available?)
- scientific article; zbMATH DE number 1497825 (Why is no real title available?)
- From chaotic iteration to constraint propagation
- Fast parallel constraint satisfaction
- scientific article; zbMATH DE number 2088040 (Why is no real title available?)
- New algorithms for bidirectional singleton arc consistency
- Domain consistency with forbidden values
- On the number of rule applications in constraint programs
- Path consistency in clp(FD)
- Logic Programming
- A fine-grained arc-consistency algorithm for non-normalized constraint satisfaction problems
- Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency
- Inequality-sum: a global constraint capturing the objective function
- Efficient Algorithms for Functional Constraints
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
- A new class of binary CSPs for which arc-consistency is a decision procedure
- Principles and Practice of Constraint Programming – CP 2004
- Principles and Practice of Constraint Programming – CP 2004
- Arc consistency revisited
- Tractable constraints on ordered domains
- Tractable constraints on ordered domains
- An algebraic characterization of tractable constraints
- Constraint retraction in FD
- Interval propagation to reason about sets: Definition and implementation of a practical language
- As time goes by. II: More automatic complexity analysis of concurrent rule programs
- Arc consistency for soft constraints
- Range and Roots: two common patterns for specifying and propagating counting and occurrence constraints
- Image interpretation with a conceptual graph: labeling over-segmented images and detection of unexpected objects
- Arc consistency for factorable relations.
This page was built for publication: A generic arc-consistency algorithm and its specializations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1199922)