%0 Conference Proceedings
%T An Introduction of FD-Complete Constraints
%+ Brandenburg University of Technology [Cottbus – Senftenberg] (BTU)
%A Löffler, Sven
%A Liu, Ke
%A Hofstedt, Petra
%Z Part 2: AI/Constraints
%< avec comité de lecture
%@ 978-3-030-49185-7
%( IFIP Advances in Information and Communication Technology
%B 16th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI)
%C Neos Marmaras, Greece
%Y Ilias Maglogiannis
%Y Lazaros Iliadis
%Y Elias Pimenidis
%I Springer International Publishing
%3 Artificial Intelligence Applications and Innovations
%V AICT-584
%N Part II
%P 27-38
%8 2020-06-05
%D 2020
%R 10.1007/978-3-030-49186-4_3
%K Constraint programming;CSP;Refinement;Optimizations;Regular membership constraint;Regular CSPs;Table constraint;FD-completeness
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 12
%Z WG 12.5
%2 https://inria.hal.science/hal-04060688/document
%2 https://inria.hal.science/hal-04060688/file/500087_1_En_3_Chapter.pdf
%L hal-04060688
%U https://inria.hal.science/hal-04060688
%~ IFIP
%~ IFIP-AICT
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC12
%~ IFIP-AIAI
%~ IFIP-WG12-5
%~ IFIP-AICT-584