Compact Representation of Time-Index Job Shop Problems Using a Bit-Vector Formulation
Paper i proceeding, 2020

The Job Shop Scheduling Problem (JSP) is a combinatorial optimization problem where jobs visit single-capacity machines while minimizing a cost function, typically the makespan. The problem can be extended to fit typical industrial scenarios such as flexible assembly shop floors or for coordinating fleets of automated vehicles. General purpose optimizers can handle extended versions of the problem that typically arise in industrial problems. Mixed Integer Linear Programming (MILP) solvers and recently optimizing Satisfiability Modulo Theory (SMT) solvers can be used as general solvers for JSP problems. There exist different formulations of JSP problems, among them the time-index (TI) model. The TI offers the advantage of providing strong lower bounds, though its drawback is the model size.

In this paper we present a new formulation of the TI model suitable for optimizing SMT-solvers that support bit-vector theories. The new formulation is significantly more compact than the standard TI formulation and is thus reducing one of the major issues with the TI model.

We benchmark two different optimizing SMT solvers supporting bit-vector theories, comparing the standard formulation of the TI to the new formulation on a set of benchmark instances. The computational analysis shows that the new formulation outperforms the standard one, being up to twice faster and regardless of the solver employed; moreover the model generated with the new formulation is considerably smaller than with the standard formulation.

JSP

SMT

subgradient optimization

bit-vectors

Författare

Sabino Francesco Roselli

Chalmers, Elektroteknik, System- och reglerteknik, Automation

Kristofer Bengtsson

Chalmers, Elektroteknik, System- och reglerteknik, Automation

Knut Åkesson

Chalmers, Elektroteknik, System- och reglerteknik, Automation

IEEE International Conference on Automation Science and Engineering

21618070 (ISSN) 21618089 (eISSN)

Vol. 2020-August 1590-1595 9216908

16th IEEE International Conference on Automation Science and Engineering, CASE 2020
Hong Kong, Hong Kong,

Ämneskategorier

Beräkningsmatematik

Reglerteknik

Datorsystem

DOI

10.1109/CASE48305.2020.9216908

Mer information

Senast uppdaterat

2021-03-08