TY - GEN A1 - Hofstedt, Petra T1 - Constraint-Based Object-Oriented Programming T2 - IEEE Computer Society, IEEE Software Y1 - 2010 SN - 0740-7459 VL - 27 IS - 5 SP - 53 EP - 56 ER - TY - CHAP A1 - Frank, Stephan A1 - Hofstedt, Petra A1 - Pepper, Peter A1 - Reckmann, D. T1 - Solution Strategies for Multi-domain Constraint Logic Programs T2 - Perspectives of systems informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27 - 30, 2006 Y1 - 2007 SN - 978-3-540-70880-3 SP - 209 EP - 222 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Hofstedt, Petra A1 - Krzikalla, O. T1 - Turtle++ - A CIP-Library for C++ T2 - Declarative programming for knowledge management : revised selected papers, 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22 - 24, 2005 Y1 - 2006 SN - 978-3-540-69233-1 SP - 12 EP - 24 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Frank, Stephan A1 - Hofstedt, Petra T1 - CLFD: A Finite Domain Constraint Solver in Common Lisp Y1 - 2005 ER - TY - CHAP A1 - Frank, Stephan A1 - Hofstedt, Petra A1 - Reckmann, D. T1 - System Description: Meta-S. Combining Solver Cooperation and programming Languages Y1 - 2005 ER - TY - CHAP A1 - Vörtler, Thilo A1 - Klotz, Thomas A1 - Fordran, Eva A1 - Hofstedt, Petra T1 - Formale Verifikation von Contiki-Anwendungen T2 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 14. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 21.-23.2.2011 in Oldenburg, Tagungsband Y1 - 2011 SN - 978-3-00-033820-5 PB - OFFIS CY - Oldenburg ER - TY - CHAP A1 - Schölzel, Mario T1 - Time-Constrained Clustering for DSE of Clustered VLIW-ASP T2 - 2007 Design, Automation & Test in Europe Conference & Exhibition, Nice, France, 16 - 20 April 2007 Y1 - 2007 SN - 978-3-9810801-2-4 SP - 467 EP - 472 PB - IEEE Service Center CY - Piscataway, NJ ER - TY - CHAP A1 - Pawlowski, P. A1 - Schölzel, Mario T1 - A Case-Study for Built-In-Self-Repair in Application Specific Processors By Decreasing the Arithmetic Accuracy Y1 - 2006 ER - TY - CHAP A1 - Schölzel, Mario T1 - Synthesis of Application Specific Processors - A Look at High-Level-approaches for Developing Application Specific Processors Y1 - 2006 ER - TY - CHAP A1 - Schölzel, Mario A1 - Bachmann, Peter T1 - Durchgängiger automatisierter Entwurf von der Prozessor-Architektur bis zur Anwendungs-Software T2 - Dresdner Arbeitstagung Schaltungs- und Systementwurf (DASS'2006), Ehrenkolloquium für Prof. Dr.-Ing. Günter Elst, 10. - 11. Mai 2006 Y1 - 2006 SP - 19 EP - 24 PB - Fraunhofer-Institut CY - Dresden ER - TY - CHAP A1 - Frank, Stephan A1 - Grabmüller, Martin A1 - Hofstedt, Petra A1 - Metzner, André T1 - Constraints, Predicates, Functions and a Turtle T2 - 20. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", 2003 Y1 - 2003 ER - TY - CHAP A1 - Hofstedt, Petra T1 - A general Approach for Building Constraint Languages T2 - Advances in artificial intelligence, proceedings, AI 2002, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2 - 6, 2002. Y1 - 2002 SN - 3-540-00197-2 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP ED - Hanus, Michael ED - Hofstedt, Petra ED - Wolf, Armin ED - Abdennadher, Slim ED - Frühwirth, Thom ED - Lallouet, Arnaud T1 - Workshop proceedings, MultiCPL'03, Second International Workshop on Multiparadigm Constraint Programming Languages and RCoRP'03, Fifth International Workshop on Rule-Based Constraint Reasoning and Programming, September 29, 2003, Kinsale, County Cork, Ireland Y1 - 2003 UR - https://www-docs.b-tu.de/fg-programmiersprachen-compilerbau/public/publikationen/2003/Proceedings.MultiCPL03.RCoRP03.pdf ER - TY - CHAP ED - Hanus, Michael ED - Hofstedt, Petra ED - Abdennadher, Slim ED - Frühwirth, Thom ED - Wolf, Armin T1 - Workshop Proceedings T2 - MultiCPL'02: Workshop on Multiparadigm Constraint Programming Languages and RCoRP'02, Fourth Workshop on Rule-Based Constraint Reasoning and Programming, Cornell University, Ithaca, NY, USA Y1 - 2002 ER - TY - CHAP A1 - Gips, Carsten A1 - Hofstedt, Petra A1 - Wysotzki, Fritz T1 - Spatial Inference - Learning vs. Constraint Solving T2 - Advances in artificial intelligence, proceedings, KI 2002, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16 - 20, 2002 Y1 - 2002 SN - 3-540-44185-9 SP - 299 EP - 316 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Hofstedt, Petra T1 - Declarative Host Languages for Constraint Systems T2 - Artificial intelligence - future trends, contributions presented at the International Symposium on Artificial Intelligence (ISAI 2001), held at Fort Panhala, Kolhapur, India from December 18th to 20th, 2001 Y1 - 2001 SN - 81-7764298-7 SP - 193 EP - 205 PB - Allied Publishers CY - New Delhi [u.a.] ER - TY - CHAP A1 - Hofstedt, Petra A1 - Seifert, Dirk A1 - Godehardt, Eike T1 - A Framework for Cooperating Constraint Solvers - A Prototypic Implementation T2 - Workshop on Cooperative Solvers in Constraint Programming - CoSolv, At the Seventh International Conference on Principles and Practice of Constraint Programming, 2001 Y1 - 2001 UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.9290 ER - TY - CHAP A1 - Hofstedt, Petra T1 - Cooperating Constraint Solvers T2 - Principles and practice of constraint programming, 6th international conference, Singapore, September 18 - 21, 2000, proceedings Y1 - 2000 SN - 3-540-41053-8 SP - 520 EP - 524 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Hofstedt, Petra T1 - Better Communication for Tighter Cooperation T2 - Computational logic, first international conference, London, UK, July 24 - 28, 2000, proceedings Y1 - 2000 SN - 3-540-67797-6 SP - 342 EP - 357 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Rühlke, St. A1 - Schneider, J. A1 - Bachmann, Peter A1 - Rogin, F. T1 - Qualitätssicherung für wiederverwendbare Schaltungsbeschreibungen durch HDL-Code-Analyse Y1 - 2000 ER - TY - CHAP A1 - Hofstedt, Petra ED - Pritchard, David T1 - Task Parallel Skeletons for Irregularly Structured Problems T2 - Parallel processing, proceedings / Euro-Par '98, 4th International Euro-Par Conference, Southampton, UK, September 1 - 4, 1998 Y1 - 1998 SN - 3-540-64952-2 SP - 676 EP - 681 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Heinig, Andy A1 - Schölzel, Mario T1 - Zeitbeschränkte Clusterung zur Design-Space-Exploration geclusterter VLIW-Prozessoren T2 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 9. ITG/GI/GMM Workshop, 20. - 22. Februar 2006 in Dresden Y1 - 2006 SN - 3-9810287-1-6 SP - 319 EP - 328 PB - Fraunhofer-Institut für Integrierte Schaltungen, Außenstelle Entwurfsautomatisierung CY - Dresden ER - TY - CHAP A1 - Scholz, Sebastian A1 - Schölzel, Mario T1 - Design-Space-Exploration Using Simulated Annealing Y1 - 2005 ER - TY - CHAP A1 - Schölzel, Mario A1 - Bachmann, Peter T1 - DESCOMP: A New Design Space Exploration Approach T2 - Systems aspects in organic and pervasive computing - ARCS 2005, 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14 - 17, 2005, proceedings Y1 - 2005 SN - 3-540-25273-8 SP - 178 EP - 192 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Frank, Stephan A1 - Hofstedt, Petra A1 - Reckmann, D. T1 - Strategies for the Efficient Solution of Hybrid Constraint Logic Programs T2 - Third Workshop on Multiparadigm Constraint Programming Languages, Workshop Proceedings September 2004, Saint-Malo, France Y1 - 2004 SP - 103 EP - 118 ER - TY - CHAP ED - Muñoz-Hernández, Susana ED - Gómez-Pérez, José Manuel ED - Hofstedt, Petra T1 - Workshop Proceedings T2 - Third Workshop on Multiparadigm Constraint Programming Languages, September 2004, Saint-Malo, France Y1 - 2004 ER - TY - CHAP A1 - Grabmüller, Martin A1 - Hofstedt, Petra T1 - Turtle. A Constraint Imperative Programming Language T2 - Research and development in intelligent systems XX, proceedings of AI2003, the Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence Y1 - 2003 SN - 1-85233-780-X SP - 185 EP - 198 PB - Springer CY - London [u.a.] ER - TY - CHAP A1 - Frank, Stephan A1 - Hofstedt, Petra A1 - Mai, Pierre R. ED - Rubio, Albert T1 - A Case Study on Termination T2 - Termination, 6th International Workshop, WST 2003, Valencia, Spain, June 13 - 14, 2003, proceedings Y1 - 2003 SP - 49 EP - 51 PB - Universidad Politécnica de Valencia CY - Valencia ER - TY - CHAP A1 - Hofstedt, Petra A1 - Metzner, André ED - Vidal, Germán T1 - Multiple Evaluation Strategies for the Multiparadigm Programming Language Brooks T2 - 12th International Workshop, WFLP 2003, Valencia, Spain, June 12 - 13, 2003, proceedings Y1 - 2003 SP - 75 EP - 88 PB - Universidad Politécnica de Valencia CY - Valencia ER - TY - GEN A1 - Hofstedt, Petra T1 - Die Evolution der Programmiersprachen der KI T2 - Künstliche Intelligenz Y1 - 2012 SN - 1610-1987 VL - 26 IS - 1 SP - 11 EP - 13 ER - TY - GEN A1 - Hofstedt, Petra T1 - Themenschwerpunkt "Sprachen der KI" T2 - Künstliche Intelligenz Y1 - 2012 SN - 1610-1987 VL - 26 IS - 1 SP - 7 EP - 9 ER - TY - RPRT ED - Hofstedt, Petra ED - Lewerentz, Claus T1 - Doktorandensymposium der Software Engineering (SE) 2012 : proceedings Y1 - 2012 PB - BTU CY - Cottbus ER - TY - CHAP A1 - Hofstedt, Petra ED - Görz, Günther ED - Schneeberger, Josef ED - Schmid, U. T1 - Constraints T2 - Handbuch der Künstlichen Intelligenz Y1 - 2013 SN - 978-3-486-71307-7 SN - 978-3-486-71979-6 SP - 205 EP - 234 PB - Oldenburg Verlag CY - München ET - 5. korrigierte Auflage ER - TY - CHAP A1 - Hofstedt, Petra A1 - Sauer, Peter A1 - Höckner, Benny T1 - Functional Programming with Pros and Cons T2 - HaL8 - Haskell-Treffen an der Universität Leipzig, Workshop am 21. Juni 2013 Y1 - 2013 UR - http://www.bioinf.uni-leipzig.de/conference-registration/13haskell/papers/paper_8.pdf ER - TY - GEN A1 - Schneeweiss, Denny A1 - Hofstedt, Petra T1 - Configurable Domain Objects for Resource Modelling in Treatment Scheduling T2 - International Journal of Software Engineering and Knowledge Engineering Y1 - 2015 SN - 0218-1940 VL - 25 IS - 5 SP - 871 EP - 885 ER - TY - CHAP A1 - Hinze, Thomas A1 - Behre, Jörn A1 - Bodenstein, Christian A1 - Escuela, Gabi A1 - Grünert, Gerd A1 - Hofstedt, Petra A1 - Sauer, Peter A1 - Hayat, Sikander A1 - Dittrich, Peter ED - Frisco, Pierluigi ED - Gheorghe, Marian ED - Pérez-Jiménez, Mario J. T1 - Membrane Systems and Tools Combining Dynamical Structures with Reaction Kinetics for Applications in Chronobiology T2 - Applications of Membrane Computing in Systems and Synthetic Biology Y1 - 2014 SN - 978-3-319-03190-3 SP - 133 EP - 173 PB - Springer CY - Cham [u.a.] ER - TY - CHAP A1 - Hinze, Thomas A1 - Grützmann, Konrad A1 - Höckner, Benny A1 - Sauer, Peter A1 - Hayat, Sikander ED - Gheorghe, Marian ED - Rozenberg, Grzegorz ED - Salomaa, Arto ED - Sosík, Petr ED - Zandron, Claudio T1 - Categorised Counting Mediated by Blotting Membrane Systems for Particle-Based Data Mining and Numerical Algorithms T2 - Membrane computing, 15th International Conference, CMC 2014 Prague, Czech Republic, August 20–22, 2014 Y1 - 2014 SN - 978-3-319-14369-9 SP - 241 EP - 257 PB - Springer CY - Cham [u.a.] ER - TY - CHAP A1 - Hinze, Thomas A1 - Kirkici, Korcan A1 - Sauer, Patricia A1 - Sauer, Peter A1 - Behre, Jörn ED - Rozenberg, Grzegorz ED - Salomaa, Arto ED - Sempere, José M. ED - Zandron, Claudio T1 - Membrane Computing Meets Temperature: A Thermoreceptor Model as Molecular Slide Rule with Evolutionary Potential T2 - Membrane Computing, 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Y1 - 2015 SN - 978-3-319-28474-3 SP - 215 EP - 235 PB - Springer Verlag CY - Cham [u.a.] ER - TY - CHAP A1 - Sauer, Peter A1 - Hausten, Tom A1 - Hofstedt, Petra T1 - Using Internet of Things Technology to Create a Really Platform Independent Robotics Framework T2 - International Symposium on Systems Engineering (ISSE), 3-5 Oct. 2016 Y1 - 2016 SN - 978-1-5090-0792-9 SN - 978-1-5090-0793-6 SP - 228 EP - 233 PB - IEEE CY - Piscataway, NJ ER - TY - CHAP ED - Cunningham, Douglas W. ED - Hofstedt, Petra ED - Meer, Klaus ED - Schmitt, Ingo T1 - Informatik 2015, 45. Jahrestagung der Gesellschaft für Informatik, Tagung von 28. September – 2. Oktober 2015 in Cottbus Y1 - 2015 SN - 978-3-88579-640-4 PB - Köllen Druck+Verlag GmbH CY - Bonn ER - TY - GEN A1 - Klimczak, Peter A1 - Hofstedt, Petra A1 - Schmitt, Ingo A1 - Petersen, Christer T1 - Computergestützte Methoden der Interpretation. Perspektiven einer digitalen Medienwissenschaft T2 - Workshop INF-DH-2018 N2 - Zwar hat sich die elektronische Datenverarbeitung etwa im Rahmen der Archivierung, der Kategorisierung und der Suche von bzw. in Texten allgemein durchgesetzt, allerdings können deren Verfahren bisher nur bedingt auf eine Ebene des Textverständnisses vordringen. Es existieren keine Algorithmen, die menschliche Interpretation auf Subtextebene zufriedenstellend imitieren könnten. Unter Subtext wird hier eine Bedeutungsebene verstanden, die der expliziten Aussage eines Textes als zusätzliche Ausdrucksdimension unterlegt ist. Von Seiten der Computerphilologie sind bisher einzig Textanalyse und -interpretation unterstützende Verfahren entwickelt worden, die lediglich auf der Sprachoberfläche Anwendung finden (Jannidis, 2010). Von Seiten der Computerlinguistik und der Informatik existieren hingegen Text-Retrieval-Systeme, die den groben Inhalt von Texten erfassen (Manning et al., 2008). Dabei erfolgt jedoch keine ‚echte‘ Interpretation, die die impliziten Aussagen des Textes erfassen und damit die Ableitung neuen Wissens ermöglichen könnte. Aufbauend auf der 2016 vorgestellten formalen Subtextanalyse (Klimczak, 2016) erscheint aber ein algorithmisiertes Verfahren zur Rekonstruktion von komplexen Semantiken narrativer Gebrauchstexte möglich, welches die bestehenden Verfahren sowohl der Computerphilologie als auch der Computerlinguistik qualitativ übertreffen könnte, indem es hermeneutische Zugänge für informationstechnische Forschung erschließt. KW - Interpretation KW - Interdisziplinarität KW - Medienwissenschaft KW - Subtextanalyse KW - Narrativik KW - Hermeneutik KW - Semantik KW - Semiotik Y1 - 2018 U6 - https://doi.org/10.18420/infdh2018-06 PB - Gesellschaft für Informatik e.V. CY - Bonn ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Iliadis, Lazaros S. ED - Maglogiannis, Ilias ED - Plagianakos, Vassilis P. T1 - The Regularization of CSPs for Rostering, Planning and Resource Management Problems T2 - Artificial Intelligence Applications and Innovations - 14th IFIP WG 12.5 International Conference, AIAI 2018, Rhodes, Greece KW - Artificial Intelligence KW - Constraint Programming KW - Constraint Transformation KW - Planning and Scheduling Y1 - 2018 SN - 978-3-319-92006-1 SN - 978-3-319-92007-8 U6 - https://doi.org/10.1007/978-3-319-92007-8_18 SP - 209 EP - 218 PB - Springer CY - Cham ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Groza, Adrian ED - Prasath, Rajendra T1 - Solving the Traveling Tournament Problem with Predefined Vanues by Parallel Constraint Programming T2 - Mining Intelligence and Knowledge Exploration - 6th International Conference, MIKE 2018, Cluj-Napoca, Romania, 2018 KW - Artificial Intelligence KW - Constraint Programming KW - Traveling Tournament Problem KW - Parallel Programming KW - Constraint Solving Y1 - 2018 SN - 978-3-030-05917-0 SN - 978-3-030-05919-4 U6 - https://doi.org/10.1007/978-3-030-05918-7_7 SP - 64 EP - 79 PB - Springer International Publishing CY - Cham ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Seipel, Dietmar ED - Hanus, Michael ED - Abreu, Salvador T1 - Hypertree Decomposition: The First Step towards Parallel Constraint Solving T2 - Declarative Programming and Knowledge Management - DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, Revised Selected Papers KW - Artificial Intelligence KW - Constraint Programming KW - Parallel Constraint Solving Y1 - 2018 UR - https://www.springer.com/de/book/9783030008000 SN - 978-3-030-00800-0 U6 - https://doi.org/10.1007/978-3-030-00801-7_6 SP - 81 EP - 94 PB - Springer CY - Heidelberg [u.a.] ER - TY - GEN A1 - Becker, Ilja A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Plümicke, Martin ED - Alia, Fayez Abu T1 - Sharing Nogoods between Portfolio Instances in Choco Solver T2 - 20. Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS 2019 : Tagungsband : Baiersbronn, 23.-25. September 2019 Y1 - 2019 SN - 978-3-8440-6933-4 SP - 31 EP - 36 PB - Shaker Verlag CY - Düren ER - TY - CHAP A1 - Hofstedt, Petra A1 - Hower, Walter A1 - John, Ulrich A1 - Wolf, Armin ED - Draude, Claude ED - Lange, Martin ED - Sick, Bernhard T1 - MOC 2019 - 11. Workshop zur transparenten Modellierung und Optimierung komplexer Probleme T2 - INFORMATIK 2019 - 50 Jahre Gesellschaft für Informatik - Informatik für Gesellschaft Y1 - 2019 UR - https://dl.gi.de/handle/20.500.12116/25099 SN - 978-3-88579-689-3 U6 - https://doi.org/10.18420/inf2019_ws40 PB - GI CY - Bonn ER - TY - RPRT ED - John, Ulrich ED - Hofstedt, Petra ED - Wolf, Armin T1 - Deklarative Ansätze zur Künstlichen Intelligenz, W(C)LP 2018, Post-Proceedings KW - Deklarative Programmierung Y1 - 2019 UR - http://wi.hwtk.de/WLP2018/Papers/DeklarativeKI_W(C)LP2018_PostProceedings.pdf PB - Hochschule für Wirtschaft, Technik und Kultur (htwk) CY - Berlin ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - John, Ulrich ED - Hofstedt, Petra ED - Wolf, Armin T1 - Detecting Higly Overlapping Parts in Constraint Satisfaction Problems for Speed-Up T2 - Deklarative Ansätze zur Künstlichen Intelligenz – punktuelle Beiträge - Post-Proceedings des 32. Workshops für (Constraint) Logische Programmierung KW - Constraint Programming Y1 - 2019 UR - http://wi.hwtk.de/WLP2018/Papers/DeklarativeKI_W(C)LP2018_PostProceedings.pdf SP - 19 EP - 24 PB - Hochschule für Wirtschaft, Technik und Kultur (htwk) CY - Berlin ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Rocha, Ana Paula ED - Steels, Luc ED - Herik, Jaap van den T1 - Decomposing Constraint Satisfaction Problems by Means of Meta Constraint Satisfaction Optimization Problems T2 - Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019 N2 - This paper describes a new approach to decompose constraint satisfaction problems (CSPs) using an auxiliary constraint satisfaction optimization problem (CSOP) that detects sub-CSPs which share only few common variables. The purpose of this approach is to find sub-CSPs which can be solved in parallel and combined to a complete solution of the original CSP. Therefore, our decomposition approach has two goals: 1. to evenly balance the workload distribution over all cores and solve the partial CSPs as fast as possible and 2. to minimize the number of shared variables to make the join process of the solutions as fast as possible. KW - Constraint Satisfaction Problems Y1 - 2019 SN - 978-989-758-350-6 U6 - https://doi.org/10.5220/0007455907550761 SP - 755 EP - 761 PB - SciTePress ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Rocha, Ana Paula ED - Steels, Luc ED - Herik, Jaap van den T1 - A Meta Constraint Satisfaction Optimization Problem for the Optimization of Regular Constraint Satisfaction Problems T2 - Proceedings of the 11th International Conference on Agents and Artificial Intelligence N2 - This paper describes a new approach on optimization of regular constraint satisfaction problems (rCSPs) using an auxiliary constraint satisfaction optimization problem (CSOP) that detects areas with a potentially high number of conflicts. The purpose of this approach is to remove conflicts by the combination of regular constraints with intersection and concatenation of their underlying deterministic finite automatons (DFAs). This, eventually, often allows to significantly speed-up the solution process of the original rCSP. KW - Constraint Satisfaction Problems Y1 - 2019 SN - 978-989-758-350-6 U6 - https://doi.org/10.5220/0007260204350442 SP - 435 EP - 442 PB - SciTePress ER -