An Introduction of FD-Complete Constraints - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2020

An Introduction of FD-Complete Constraints

Résumé

The performance of solving a constraint problem can often be improved by converting a subproblem into a single constraint (for example into a regular membership constraint or a table constraint). In the past, it stood out, that specialist constraint solvers (like simplex solver or SAT solver) outperform general constraint solvers, for the problems they can handle. The disadvantage of such specialist constraint solvers is that they can handle only a small subset of problems with special limitations to the domains of the variables and/or to the allowed constraints. In this paper we introduce the concept of fd-complete constraints and fd-complete constraint satisfaction problems, which allow combining both previous approaches. More accurately, we convert general constraint problems into problems which use only one, respectively one kind of constraint. The goal is it to interpret and solve the converted constraint problems with specialist solvers, which can solve the transformed constraint problems faster than the original solver the original constraint problems.
Fichier principal
Vignette du fichier
500087_1_En_3_Chapter.pdf (422.06 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04060688 , version 1 (06-04-2023)

Licence

Identifiants

Citer

Sven Löffler, Ke Liu, Petra Hofstedt. An Introduction of FD-Complete Constraints. 16th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), Jun 2020, Neos Marmaras, Greece. pp.27-38, ⟨10.1007/978-3-030-49186-4_3⟩. ⟨hal-04060688⟩
30 Consultations
64 Téléchargements

Altmetric

Partager

More