Auflistung nach Schlagwort "Regular Membership Constraint"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- TextdokumentA Survey of Constraint Transformation Methods(INFORMATIK 2021, 2021) Löffler, Sven; Becker, Ilja; Kroll, Franz; Hofstedt, PetraThe solution performance of finite domain (FD) constraint problems can often be improved by either transforming particular constraints or sub-problems into other FD constraints like binary, table or regular membership constraints, or by transformation of the complete FD problem into an equivalent problem but of another domain, e.g. in a SAT problem. Specialized constraint solvers (like binary or SAT solvers) can outperform general constraint solvers for certain problems. However, this comes with high efforts for the transformation and/or other disadvantages such as a restricted set of constraints such specialized solvers can handle or limitations on the variables domains. In this paper we give an overview of CSP and constraint transformations and discuss applicabilibty and advantages and disadvantages of these approaches.