Tue 18 Jan 2022 11:35 - 12:00 at Directors - Declarative Solutions Chair(s): Francesco Calimeri

The resolution of combinatorial optimization problems, es-pecially in the area concerned with the sequencing of tasks (i.e., referred to as sequencing problems), is an important challenge. This domain covers a wide breadth of applications expressed as scheduling or routing problems. Such problems can be often optimally solved using Constraint Programming techniques; nevertheless, if a “good” solution is needed in a short amount of time, Constraint Programming techniques may simplynot be feasible.This paper explores the opportunities that the transitional semantics of Multi-valued Decision Diagrams (MDDs) offers in terms of modeling and efficiency. The paper explores the combination of MDDs with Large Neighborhood Search (LNS), as an effective local search strategy. The paper also demonstrates the use of GPU-based parallelism to enhance efficency in the exploration of the search space.The paper describes the integration of these techniques within a solver,focused on time-bounded search for high-quality solutions. The solver is evaluated on several classes of benchmarks, with positive outcomes in terms of time and solution quality compared to state-of-the-art constraint-based local search solvers.

Tue 18 Jan

Displayed time zone: Eastern Time (US & Canada) change

10:20 - 12:00
Declarative SolutionsPADL at Directors
Chair(s): Francesco Calimeri University of Calabria

Remote session chair

10:20
25m
Talk
Green Application Placement in the Cloud-IoT ContinuumRemote
PADL
Stefano Forti University of Pisa, Antonio Brogi Università di Pisa
10:45
25m
Talk
Decomposition-based job-shop scheduling with constrained clusteringRemote
PADL
Mohammed M. S. El-Kholany University of Klagenfurt, Martin Gebser University of Klagenfurt, Austria, Konstantin Schekotihin Alpen-Adria Universit�t Klagenfurt
11:10
25m
Talk
Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)Remote
PADL
Sarat Chandra Varanasi The University of Texas at Dallas, Joaquín Arias Universidad Rey Juan Carlos, Elmer Salazar The University of Texas at Dallas, Fang Li The University of Texas at Dallas, Kinjal Basu The University of Texas at Dallas, Gopal Gupta The University of Texas at Dallas
11:35
25m
Talk
Parallel Declarative Solutions of Sequencing Problems using Multi-valued Decision Diagrams and GPUsRemote
PADL
Fabio Tardivo New Mexico State University, Enrico Pontelli