57 research outputs found
The All Different and Global Cardinality Constraints on Set, Multiset and Tuple Variables
We describe how the propagator for the All-Differentconstraintcanbegeneralizedtoprune variableswhosedomainsarenot justsimplefinitedomains. We show,forexample, howitcanbeused to propagate set variables, multisetvariablesandvariables whichrepresenttuplesofvalues. Wealsodescribehowthepropagatorfor theglobal cardinalityconstraint(whichisageneralization of the All-Different constraint) can be generalized in a similar way. Experiments show that such propagators can be beneficial in practice, especially when the domains are large
L'auto-organisation des comportements et la différenciation des tâches dans les colonies de guêpes Polistes: un modèle de spécification locale pour l'organisation de groupe d'automates
info:eu-repo/semantics/publishe
Self-organization of behavioural profiles and task assignment based on local individual rules in the eusocial wasp Polostes dominulus christ
info:eu-repo/semantics/publishe
Task differentiation in Polistes wasp colonies: a model for self-organising groups of robots
info:eu-repo/semantics/publishe
Swarm intelligence in wasps colonies: an example of task assignment in multiagents systems
info:eu-repo/semantics/publishe
Views and Iterators for Generic Constraint Implementations
This paper introduces an architecture for generic constraint implementations based on variable views and range iterators. Views allow, for example, to scale, translate, and negate variables. The paper shows how to make constraint implementations generic and how to reuse a single generic implementation with different views for different constraints. Applications of views exemplify their usefulness and their potential for simplifying constraint implementations. We introduce domain operations compatible with views based on range iterators. The paper evaluates different implementation techniques for the presented architecture
- …