A Survey of Constraint Transformation Methods
| dc.contributor.author | Löffler, Sven | |
| dc.contributor.author | Becker, Ilja | |
| dc.contributor.author | Kroll, Franz | |
| dc.contributor.author | Hofstedt, Petra | |
| dc.date.accessioned | 2021-12-14T10:57:55Z | |
| dc.date.available | 2021-12-14T10:57:55Z | |
| dc.date.issued | 2021 | |
| dc.description.abstract | The 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. | en |
| dc.identifier.doi | 10.18420/informatik2021-090 | |
| dc.identifier.isbn | 978-3-88579-708-1 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/37760 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik, Bonn | |
| dc.relation.ispartof | INFORMATIK 2021 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-314 | |
| dc.subject | Constraint Programming | |
| dc.subject | CSP | |
| dc.subject | Refinement | |
| dc.subject | Optimization | |
| dc.subject | Regular Membership Constraint | |
| dc.subject | Regular CSPs | |
| dc.subject | Table Constraint | |
| dc.subject | SAT | |
| dc.subject | Binary Constraint | |
| dc.title | A Survey of Constraint Transformation Methods | en |
| gi.citation.endPage | 1120 | |
| gi.citation.startPage | 1107 | |
| gi.conference.date | 27. September - 1. Oktober 2021 | |
| gi.conference.location | Berlin | |
| gi.conference.sessiontitle | 13. Workshop {KI-basiertes} Management und Optimierung komplexer Systeme (MOC 2021) |
Dateien
Originalbündel
1 - 1 von 1