Author(s):
Sels, Veronique ; Coelho, José
; Dias, António Manuel
; Vanhoucke, Mario
Date: 2015
Persistent ID: http://hdl.handle.net/10400.2/3446
Origin: Repositório Aberto da Universidade Aberta
Subject(s): Machine scheduling; SAT