UA - Université d'Angers : EA2645 (Université d'Angers - 40 Rue de Rennes, BP 73532 - 49035 Angers CEDEX 01 - France)
Abstract :
In this paper, we want to handle multiple interleaved Alldiff constraints from two points of view: a uniform propagation framework with some CSP reduction rules and a SAT encoding of these rules that preserves the reduction properties of CSP.
https://hal.univ-angers.fr/hal-03350607 Contributeur : Okina Univ AngersConnectez-vous pour contacter le contributeur Soumis le : jeudi 14 octobre 2021 - 16:02:30 Dernière modification le : vendredi 10 décembre 2021 - 10:25:30 Archivage à long terme le : : samedi 15 janvier 2022 - 19:20:55