An Introduction of FD-Complete Constraints - Artificial Intelligence Applications and Innovations
Conference Papers Year : 2020

An Introduction of FD-Complete Constraints

Abstract

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)

Licence

Identifiers

Cite

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 View
64 Download

Altmetric

Share

More