Search Results

Documents authored by Jannach, Dietmar


Document
Extended Abstract
Summary of "Randomized Problem-Relaxation Solving for Over-Constrained Schedules" (Extended Abstract)

Authors: Patrick Rodler, Erich Teppan, and Dietmar Jannach

Published in: OASIcs, Volume 125, 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024)


Abstract
We present a general framework for tackling over-constrained job shop scheduling problems (JSSP) where the volume of jobs (orders) exceeds the production capacity for a given planning horizon. The goal is to process as many or as utile jobs as possible within the available time. The suggested framework approaches this optimization problem by solving multiple randomly modified relaxed problem instances, thereby taking a sample in a solution space that covers all optimal solutions. By continuously storing the best solution found so far, the result is a complete anytime algorithm that incrementally approximates an optimal solution. The proposed framework allows for highly parallel computations, and all of its modules are treated as black-boxes, allowing them to be instantiated with the most performant algorithms for the respective sub-problems. Using IBM’s cutting-edge CP Optimizer suite, experiments on well-known JSSP benchmark problems demonstrate that the proposed framework consistently schedules more jobs in less computation time compared to a standalone constraint solver approach. Due to the generality of the proposed approach and its applicability to computing minimum-cardinality or most preferred minimal diagnoses, this work has the potential to positively impact the field of model-based diagnosis.

Cite as

Patrick Rodler, Erich Teppan, and Dietmar Jannach. Summary of "Randomized Problem-Relaxation Solving for Over-Constrained Schedules" (Extended Abstract). In 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024). Open Access Series in Informatics (OASIcs), Volume 125, pp. 33:1-33:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@InProceedings{rodler_et_al:OASIcs.DX.2024.33,
  author =	{Rodler, Patrick and Teppan, Erich and Jannach, Dietmar},
  title =	{{Summary of "Randomized Problem-Relaxation Solving for Over-Constrained Schedules"}},
  booktitle =	{35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024)},
  pages =	{33:1--33:4},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-356-0},
  ISSN =	{2190-6807},
  year =	{2024},
  volume =	{125},
  editor =	{Pill, Ingo and Natan, Avraham and Wotawa, Franz},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.DX.2024.33},
  URN =		{urn:nbn:de:0030-drops-221259},
  doi =		{10.4230/OASIcs.DX.2024.33},
  annote =	{Keywords: diagnosis computation, randomized diagnosis computation, minimum-cardinality diagnoses, most preferred diagnoses, maximum-probability diagnoses, applications of diagnosis (over-constrained scheduling problems), diagnosis-based optimization, constraint programming, CP Optimizer, job shop scheduling problem, job set optimization problem, operations research, scheduling, industry use cases, minimal subset subject to a monotone predicate (MSMP) problem, problem relaxation, sampling for optimization, anytime algorithm}
}
Document
Unifying Product and Software Configuration (Dagstuhl Seminar 14172)

Authors: Krzysztof Czarnecki, Arnaud Hubaux, Ethan Jackson, Dietmar Jannach, and Tomi Männistö

Published in: Dagstuhl Reports, Volume 4, Issue 4 (2014)


Abstract
Research on computer-supported configuration of customizable products and services is currently carried out in two main communities: one community is mainly focused on the configuration of hardware artifacts, the other one is interested in configurable software systems and software product lines. Despite the significant overlap in research interests, the fields have mainly evolved in isolation in different fields such as Artificial Intelligence, Constraint Programming and Software Engineering. Yet, the communities have produced results that are applicable across the communities. The trend of products becoming increasingly heterogeneous, i.e., consisting of hardware, software and services, is furthermore increasingly blurring the line between the configuration domains in practice. This report documents the program and the outcomes of Dagstuhl Seminar 14172 "Unifying Product and Software Configuration". The seminar gathered researchers and practitioners working on configuration problems. The seminar consisted of invited presentations and working group sessions covering various topics of software and product configuration including knowledge representation issues, automated reasoning and configuration management and had a particular focus on the industry perspective.

Cite as

Krzysztof Czarnecki, Arnaud Hubaux, Ethan Jackson, Dietmar Jannach, and Tomi Männistö. Unifying Product and Software Configuration (Dagstuhl Seminar 14172). In Dagstuhl Reports, Volume 4, Issue 4, pp. 20-35, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)


Copy BibTex To Clipboard

@Article{czarnecki_et_al:DagRep.4.4.20,
  author =	{Czarnecki, Krzysztof and Hubaux, Arnaud and Jackson, Ethan and Jannach, Dietmar and M\"{a}nnist\"{o}, Tomi},
  title =	{{Unifying Product and Software Configuration (Dagstuhl Seminar 14172)}},
  pages =	{20--35},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{4},
  editor =	{Czarnecki, Krzysztof and Hubaux, Arnaud and Jackson, Ethan and Jannach, Dietmar and M\"{a}nnist\"{o}, Tomi},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.4.20},
  URN =		{urn:nbn:de:0030-drops-46162},
  doi =		{10.4230/DagRep.4.4.20},
  annote =	{Keywords: Product Configuration, Software Product Lines, Configuration Management}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail