An Introduction of FD-Complete Constraints - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

An Introduction of FD-Complete Constraints


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
Origin : Files produced by the author(s)

Dates and versions

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


Attribution - CC BY 4.0



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⟩
7 View
1 Download



Gmail Facebook Twitter LinkedIn More