Search

Your search keyword '"Loeffler, Sven"' showing total 17 results
Start Over Author "Loeffler, Sven"

Refine your results

more »

more »

17 results on '"Loeffler, Sven"'

1. A Constraint-Based Greedy-Local-Global Search for the Warehouse Location Problem

Author

Löffler, Sven, Hofstedt, Petra, Rannenberg, Kai, Editor-in-Chief, Soares Barbosa, Luís, Editorial Board Member, Carette, Jacques, Editorial Board Member, Tatnall, Arthur, Editorial Board Member, Neuhold, Erich J., Editorial Board Member, Stiller, Burkhard, Editorial Board Member, Stettner, Lukasz, Editorial Board Member, Pries-Heje, Jan, Editorial Board Member, Kreps, David, Editorial Board Member, Rettberg, Achim, Editorial Board Member, Furnell, Steven, Editorial Board Member, Mercier-Laurent, Eunika, Editorial Board Member, Winckler, Marco, Editorial Board Member, Malaka, Rainer, Editorial Board Member, Maglogiannis, Ilias, editor, Iliadis, Lazaros, editor, Macintyre, John, editor, Avlonitis, Markos, editor, and Papaleonidas, Antonios, editor

Published
2024
Full Text
View/download PDF

2. A Finite-Domain Constraint-Based Approach on the Stockyard Planning Problem

Author

Löffler, Sven, Becker, Ilja, Hofstedt, Petra, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Strauss, Christine, editor, Amagasa, Toshiyuki, editor, Kotsis, Gabriele, editor, Tjoa, A Min, editor, and Khalil, Ismail, editor

Published
2023
Full Text
View/download PDF

3. ML-Based Automation of Constraint Satisfaction Model Transformation and Solver Configuration

Author

Becker, Ilja, Löffler, Sven, Hofstedt, Petra, Kacprzyk, Janusz, Series Editor, Gomide, Fernando, Advisory Editor, Kaynak, Okyay, Advisory Editor, Liu, Derong, Advisory Editor, Pedrycz, Witold, Advisory Editor, Polycarpou, Marios M., Advisory Editor, Rudas, Imre J., Advisory Editor, Wang, Jun, Advisory Editor, Machado, José Manuel, editor, Chamoso, Pablo, editor, Hernández, Guillermo, editor, Bocewicz, Grzegorz, editor, Loukanova, Roussanka, editor, Jove, Esteban, editor, del Rey, Angel Martin, editor, and Ricca, Michela, editor

Published
2023
Full Text
View/download PDF

4. Exploring Properties of Icosoku by Constraint Satisfaction Approach

Author

Liu, Ke, Löffler, Sven, and Hofstedt, Petra

Subjects
Computer Science - Artificial Intelligence
Abstract

Icosoku is a challenging and interesting puzzle that exhibits highly symmetrical and combinatorial nature. In this paper, we pose the questions derived from the puzzle, but with more difficulty and generality. In addition, we also present a constraint programming model for the proposed questions, which can provide the answers to our first two questions. The purpose of this paper is to share our preliminary result and problems to encourage researchers in both group theory and constraint communities to consider this topic further.

Published
2019

5. The Regularization of Small Sub-Constraint Satisfaction Problems

Author

Löffler, Sven, Liu, Ke, and Hofstedt, Petra

Subjects
Computer Science - Artificial Intelligence
Abstract

This paper describes a new approach on optimization of constraint satisfaction problems (CSPs) by means of substituting sub-CSPs with locally consistent regular membership constraints. The purpose of this approach is to reduce the number of fails in the resolution process, to improve the inferences made during search by the constraint solver by strengthening constraint propagation, and to maintain the level of propagation while reducing the cost of propagating the constraints. Our experimental results show improvements in terms of the resolution speed compared to the original CSPs and a competitiveness to the recent tabulation approach. Besides, our approach can be realized in a preprocessing step, and therefore wouldn't collide with redundancy constraints or parallel computing if implemented., Comment: Part of DECLARE 19 proceedings (arXiv:hep-lat/2795508)

Published
2019

6. An Introduction of FD-Complete Constraints

Author

Löffler, Sven, Liu, Ke, Hofstedt, Petra, Rannenberg, Kai, Editor-in-Chief, Soares Barbosa, Luís, Editorial Board Member, Goedicke, Michael, Editorial Board Member, Tatnall, Arthur, Editorial Board Member, Neuhold, Erich J., Editorial Board Member, Stiller, Burkhard, Editorial Board Member, Tröltzsch, Fredi, Editorial Board Member, Pries-Heje, Jan, Editorial Board Member, Kreps, David, Editorial Board Member, Reis, Ricardo, Editorial Board Member, Furnell, Steven, Editorial Board Member, Mercier-Laurent, Eunika, Editorial Board Member, Winckler, Marco, Editorial Board Member, Malaka, Rainer, Editorial Board Member, Maglogiannis, Ilias, editor, Iliadis, Lazaros, editor, and Pimenidis, Elias, editor

Published
2020
Full Text
View/download PDF

7. Optimizing Constraint Satisfaction Problems by Regularization for the Sample Case of the Warehouse Location Problem

Author

Löffler, Sven, Liu, Ke, Hofstedt, Petra, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Schmid, Ute, editor, Klügl, Franziska, editor, and Wolter, Diedrich, editor

Published
2020
Full Text
View/download PDF

8. The Regularization of Small Sub-Constraint Satisfaction Problems

Author

Löffler, Sven, Liu, Ke, Hofstedt, Petra, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Hofstedt, Petra, editor, Abreu, Salvador, editor, John, Ulrich, editor, Kuchen, Herbert, editor, and Seipel, Dietmar, editor

Published
2020
Full Text
View/download PDF

9. Exploring Properties of Icosoku by Constraint Satisfaction Approach

Author

Liu, Ke, Löffler, Sven, Hofstedt, Petra, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Hofstedt, Petra, editor, Abreu, Salvador, editor, John, Ulrich, editor, Kuchen, Herbert, editor, and Seipel, Dietmar, editor

Published
2020
Full Text
View/download PDF

10. Solving the Talent Scheduling Problem by Parallel Constraint Programming

Author

Liu, Ke, Löffler, Sven, Hofstedt, Petra, Rannenberg, Kai, Editor-in-Chief, Sakarovitch, Jacques, Editorial Board Member, Goedicke, Michael, Editorial Board Member, Tatnall, Arthur, Editorial Board Member, Neuhold, Erich J., Editorial Board Member, Pras, Aiko, Editorial Board Member, Tröltzsch, Fredi, Editorial Board Member, Pries-Heje, Jan, Editorial Board Member, Kreps, David, Editorial Board Member, Reis, Ricardo, Editorial Board Member, Furnell, Steven, Editorial Board Member, Furbach, Ulrich, Editorial Board Member, Winckler, Marco, Editorial Board Member, Malaka, Rainer, Editorial Board Member, MacIntyre, John, editor, Maglogiannis, Ilias, editor, Iliadis, Lazaros, editor, and Pimenidis, Elias, editor

Published
2019
Full Text
View/download PDF

11. Social Golfer Problem Revisited

Author

Liu, Ke, Löffler, Sven, Hofstedt, Petra, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, van den Herik, Jaap, editor, Rocha, Ana Paula, editor, and Steels, Luc, editor

Published
2019
Full Text
View/download PDF

12. The Regularization of CSPs for Rostering, Planning and Resource Management Problems

Author

Löffler, Sven, Liu, Ke, Hofstedt, Petra, Rannenberg, Kai, Editor-in-Chief, Sakarovitch, Jacques, Series Editor, Goedicke, Michael, Series Editor, Tatnall, Arthur, Series Editor, Neuhold, Erich J., Series Editor, Pras, Aiko, Series Editor, Tröltzsch, Fredi, Series Editor, Pries-Heje, Jan, Series Editor, Whitehouse, Diane, Series Editor, Reis, Ricardo, Series Editor, Furnell, Steven, Series Editor, Furbach, Ulrich, Series Editor, Winckler, Marco, Series Editor, Rauterberg, Matthias, Series Editor, Iliadis, Lazaros, editor, Maglogiannis, Ilias, editor, and Plagianakos, Vassilis, editor

Published
2018
Full Text
View/download PDF

13. Solving the Traveling Tournament Problem with Predefined Venues by Parallel Constraint Programming

Author

Liu, Ke, Löffler, Sven, Hofstedt, Petra, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Groza, Adrian, editor, and Prasath, Rajendra, editor

Published
2018
Full Text
View/download PDF

14. Hypertree Decomposition: The First Step Towards Parallel Constraint Solving

Author

Liu, Ke, Löffler, Sven, Hofstedt, Petra, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Seipel, Dietmar, editor, Hanus, Michael, editor, and Abreu, Salvador, editor

Published
2018
Full Text
View/download PDF

15. IDS Reference Architecture Model. Industrial Data Space. Version 2.0

Author

Otto, Boris, Lohmann, Steffen, Steinbuss, Sebastian, Teuscher, Andreas, Auer, Sören, Boehmer, Martin, Bohn, Juergen, Brost, Gerd, Cirullies, Jan, Ciureanu, Constantin, Corsi, Eva, Danielsen, Soeren, Eitel, Andreas, Ernst, Thilo, Geisler, Sandra, Gelhaar, Joshua, Gude, Roland, Haas, Christian, Heiles, Juergen, Hierro, Juanjo, Hoernle, Joachim, Huber, Manuel, Jung, Christian, Juerjens, Jan, Kasprzik, Anna, Ketterl, Markus, Koetzsch, Judith, Koehler, Jacob, Lange, Christoph, Langer, Dorothea, Langkau, Jörg, Lis, Dominik, Loeffler, Sven, Loewen, Ulrich, Mader, Christian, Menz, Nadja, Mueller, Andreas, Mueller, Bernhard, Nagel, Lars, Nagel, Ralf, Nieminen, Harri, Reitelbach, Thomas, Resetko, Aleksei, Pakkala, Daniel, Patzer, Florian, Pettenpohl, Heinrich, Pietzsch, Rene, Pullmann, Jaroslav, Punter, Matthijs, Quix, Christoph, Rohrmus, Dominik, Romer, Lena, Sandloehken, Joerg, Schoewe, Patrick, Schulz, Daniel, Schuette, Julian, Schweichhart, Karsten, Sol, Egbert-Jan, Sorowka, Peter, Spiegelberg, Gernot, Spiekermann, Markus, Spohn, Christian, Stoehr, Gerrit, Thess, Michael, Tramp, Sebastian, Wappler, Mona, Weiergraeber, Ann-Christin, Wenzel, Sven, Wolff, Oliver, and Woerner, Heike

Published
2018
Full Text
View/download PDF

16. Using Hypertree Decomposition for Parallel Constraint Solving

Author

Liu, Ke, Loeffler, Sven, and Hofstedt, Petra

Subjects
constraint networks, CSP, hypertree decomposition, parallel constraint solving
Abstract

Multi-core processors or many-core processors have become the standard configuration for computers nowadays. Yet, the mainstream constraint solvers have not fully utilized these available computation resources due to the intrinsic difficulty on decomposing constraint satisfaction problems (CSPs). This paper reviews the previous research in parallel constraint solving and proposes a new approach for mapping constraint networks on multi-core or many-core processors by means of hypertree decomposition. We give theoretical considerations and our plans for future research.

Published
2017
Full Text
View/download PDF

17. Design for OB trucks.

Author

RITTER, UWE and LOEFFLER, SVEN

Subjects
BROADCASTING industry, MOTOR vehicles, CAMERAS, TELECOMMUNICATION, MASS media
Abstract

The article discusses the issues which designers and operators can face while designing outside broadcast (OB) trucks. It states that many headlines are grabbed by OB and triple-trailers which can support 30 or more cameras but this may not be required for every news item. It states that desk layout of OB should be readily adaptable so that control panels could be added when required. It highlights that connectivity of cameras is a key issue and so one can go for the camera that supports triax.

Published
2011

Catalog

Books, media, physical & digital resources
See catalog results