arXiv AI

Implementing Cumulative Functions with Generalized Cumulative Constraints

arXiv AI
Jul 7

Resource-constrained Project Scheduling with Time-of-Use Energy Tariffs and Machine States: A Logic-based Benders Decomposition Approach

arXiv:2601. 06542v2 Announce Type: replace-cross Abstract: In this paper, we investigate the Resource-Constrained Project Scheduling Problem (RCPSP) with Time-of-Use (TOU) energy tariffs and machine states, a variant of RCPSP for production scheduling, where energy price is part of the criteria and one highly energy-demanding machine can be in one of the following three states: proc, idle, or off.

By Corentin Juvigny, Anton\'in Nov\'ak, Jan Mand\'ik, Zden\v{e}k Hanz\'alek
arXiv AI
Jul 8

Implementing Metric Temporal Answer Set Programming

arXiv:2601. 20735v2 Announce Type: replace Abstract: We develop a computational approach to Metric Answer Set Programming (ASP) to allow for expressing quantitative temporal constraints, like durations and deadlines.

By Arvid Becker, Pedro Cabalar, Martin Di\'eguez, Susana Hahn, Javier Romero, Torsten Schaub
arXiv AI
Aug 17

Reinforcement Learning-Based Production Scheduling in an Industry-Based Coating Scenario Using the Digital Model Playground

arXiv:2608. 14122v1 Announce Type: new Abstract: Production scheduling in complex manufacturing environments is challenging when sequence-dependent setup times, stochastic disturbances, and due-date constraints must be addressed simultaneously.

By Arne Kr\"oger, Ralf Buscherm\"ohle, Wilhelm Hasselbring, Henrik Wilbers
arXiv AI
Aug 20

Improving Natural-Language Combinatorial-Optimization Accuracy in Resource-Constrained Language Models via Formal Abstractions

The paper introduces SDDL, a neuro‑symbolic framework that converts natural‑language combinatorial scheduling problems into compact, solver‑aligned representations, delegating low‑level modeling and search to a deterministic compiler and external solver. On a 300‑instance subset of scheduling tasks, SDDL achieves higher feasibility rates for resource‑constrained language models—up to 55.3% and 28.3%—compared to direct‑generation baselines (23.7% and 1.3%) and solver‑code baselines (21.7% and 7.0%), with a median optimality gap of 0.0% among feasible schedules.

By Shrenil Shaun Sharma, Avi Sharma
arXiv AI
Sep 10

Planning and Scheduling Business Processes under Control-Flow Uncertainty

The paper addresses the challenge of scheduling business process activities when the exact sequence of required tasks is uncertain due to data-driven decisions made during execution. It proposes framing the problem as a chance-constrained optimization and introduces two formulations: a decomposed two-stage approach that first minimizes expected superfluous activities under a feasibility constraint and then schedules to minimize makespan, and an integrated approach that combines planning and scheduling into a single model. Experiments on two real-world and one synthetic dataset show that the integrated approach achieves better makespans but struggles with scalability, whereas the decomposed approach scales to larger settings.

By Michel Kunkler, Stefanie Rinderle-Ma
arXiv AI
Sep 12

Planning and Scheduling Business Processes under Control-Flow Uncertainty: Extended Version

The paper addresses the challenge of scheduling business process activities when the exact sequence of required tasks is uncertain due to data‑driven decisions made during execution. It proposes framing the problem as a chance‑constrained optimization and introduces two formulations: a decomposed two‑stage approach (planning to minimize superfluous activities under a feasibility constraint, followed by scheduling to minimize makespan) and an integrated single‑stage approach. Experiments on two real‑world and one synthetic dataset show that the integrated method achieves better makespans but struggles with scalability, whereas the decomposed method scales to larger settings.

By Michel Kunkler, Stefanie Rinderle-Ma
arXiv AI
Aug 24

A Temporal Planning Approach for Intelligent Flood Response

The paper introduces a temporal planning framework for intelligent flood response, integrating priority-driven triage, route accessibility, resource allocation, and supply management. It supports mid-execution re-planning to adapt to unexpected environmental changes and is implemented in both ANML and PDDL 2.1 for broad planner compatibility. Experimental results demonstrate the framework’s feasibility and scalability for modeling and solving flood response scenarios.

By Fazlul Hasan Siddiqui, Md. Monjurul Islam, Sabah Binte Noor