TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Abreu, Salvador ED - Hofstedt, Petra ED - John, Ulrich ED - Kuchen, Herbert ED - Seipel, Dietmar T1 - Exploring Properties of Icosoku by Constraint Satisfaction Approach T2 - Pre-proceedings of the {DECLARE} 2019 Conference KW - Constraint Satisfaction Problems Y1 - 2019 UR - https://arxiv.org/pdf/1908.06003.pdf ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Abreu, Salvador ED - Hofstedt, Petra ED - John, Ulrich ED - Kuchen, Herbert ED - Seipel, Dietmar T1 - The Regularization of Small Sub-Constraint Satisfaction Problems T2 - Pre-proceedings of the DECLARE 2019 Conference KW - Constraint Satisfaction Problems Y1 - 2019 UR - https://arxiv.org/pdf/1908.05907.pdf ER - TY - GEN A1 - Hofstedt, Petra A1 - König, Thomas T1 - Interview with Pascal Van Hentenryck on Constraint-Based Programming T2 - Künstliche Intelligenz Y1 - 2012 SN - 1610-1987 VL - 26 IS - 1 SP - 75 EP - 77 ER - TY - GEN A1 - König, Thomas A1 - Hofstedt, Petra T1 - Constraint-basierte Programmiersprachen - Von den Ursprüngen in der logischen Programmierung bis zu heutigen Anwendungen T2 - Künstliche Intelligenz Y1 - 2012 SN - 1610-1987 VL - 26 IS - 1 SP - 47 EP - 54 ER - TY - GEN A1 - Frank, Stephan A1 - Hofstedt, Petra A1 - Mai, Pierre R. T1 - A Flexible Meta-solver Framework for Constraint Solver Collaboration T2 - Advances in artificial intelligence, 26th Annual German Conference on AI, proceedings, Hamburg, Germany, September 15 - 18, 2003 Y1 - 2003 SN - 3-540-20059-2 SP - 520 EP - 534 PB - Springer CY - Berlin [u.a.] ER - TY - GEN A1 - Frank, Stephan A1 - Hofstedt, Petra A1 - Mai, Pierre R. T1 - Meta-S: A Strategy-Oriented Meta-Solvet Framework T2 - Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, St. Augustine Y1 - 2003 SN - 1-577-35177-0 SP - 177 EP - 181 PB - AAAI Press CY - Menlo Park, Calif. ER - TY - JOUR A1 - Hofstedt, Petra A1 - Pepper, Peter T1 - Integration of Declarative and Constraint Programming JF - Theory and practice of logic programming Y1 - 2007 SN - 1471-0684 N1 - Special Issue on Multiparadigm Languages and Constraint Programming VL - 7 IS - 1-2 SP - 93 EP - 121 ER - TY - BOOK A1 - Hofstedt, Petra T1 - Multiparadigm Constraint Programming Languages Y1 - 2011 SN - 978-3-642-17329-5 PB - Springer CY - Berlin [u.a.] ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra T1 - Hypertree Decomposition for Constraint programming in Parallel T2 - Programmiersprachen und Grundlagen der Programmierung, 19. Kolloquium, KPS 2017, Weimar, 25.-27. September 2017, Tagungsband Y1 - 2017 SP - 86 EP - 89 PB - Friedrich-Schiller-Universität CY - Jena ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra T1 - Transformations of CSPs to Regular CSPs T2 - Programmiersprachen und Grundlagen der Programmierung, 19. Kolloquium, KPS 2017, Weimar, 25.-27. September 2017, Tagungsband Y1 - 2017 SP - 127 EP - 129 PB - Friedrich-Schiller-Universität CY - Jena ER -