EXPERIMENTS
PPDP 2024 - Datasets, Experiments and Results. In order to ease the review process and reproducibility of the conducted experiments all the relevant documents, datasets, and supplementary materials are available here.
PPDP 2024 - Datasets, Experiments and Results. In order to ease the review process and reproducibility of the conducted experiments all the relevant documents, datasets, and supplementary materials are available here.
In the following the additional material related to the work presented at LPNMR 2024 is reported. In particular, Section "DP-sr - Complete Encodings" contains the modeling of each monitoring tasks in the DP-sr language; Section "Scheduler - Complete Encoding" contains the modeling of the scheduling problem in Constrain Programming; Section "Computational Times" reports additional results obtained during the experimental evaluation.
Computational times (in sec.) of system components over datasets featuring 25 jobs
Computational times (in sec.) of system components over datasets featuring 50 jobs