%0 Conference Proceedings %T A Constraint on the Number of Distinct Vectors with Application to Localization %+ Laboratoire d'Informatique de Nantes Atlantique (LINA) %+ Développement des Technologies Nouvelles (DTN) %A Chabert, Gilles %A Jaulin, Luc %A Lorca, Xavier %< avec comité de lecture %( 15th International Conference on Principles and Practice of Constraint Programming %B CP'09 (15th International Conference on Principles and Practice of Constraint Programming) %C Lisbon, Portugal %Y Ian P. Gent %I Springer Verlag %3 LNCS (Lecture Notes in Computer Science) %V 5732 %P p. 196-210 %8 2009-09-20 %D 2009 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers %X This paper introduces a generalization of the "nvalue" constraint that bounds the number of distinct values taken by a set of variables.The generalized constraint (called "nvector") bounds the number of distinct (multi-dimensional) vectors. The first contribution of this paper is to show that this global constraint has a significant role to play with continuous domains, by taking the example of simultaneous localization and map building (SLAM). This type of problem arises in the context of mobile robotics. The second contribution is to prove that enforcing bound consistency on this constraint is NP-complete. A simple contractor (or propagator) is proposed and applied on a real application. %G English %2 https://hal.science/hal-00428967/document %2 https://hal.science/hal-00428967/file/paper_35.pdf %L hal-00428967 %U https://hal.science/hal-00428967 %~ UNIV-NANTES %~ ENSTA-BRETAGNE %~ MINES-NANTES %~ CNRS %~ LINA %~ ENSTA-BRETAGNE-STIC %~ LINA-TASC %~ ENSIETA-DTN %~ INFO %~ IMTA_DAPI %~ LS2N-IMTA %~ IMT-ATLANTIQUE %~ NANTES-UNIVERSITE %~ UNIV-NANTES-AV2022