Please use this identifier to cite or link to this item: https://hdl.handle.net/10419/155402 
Year of Publication: 
1993
Series/Report no.: 
Manuskripte aus den Instituten für Betriebswirtschaftslehre der Universität Kiel No. 322
Publisher: 
Universität Kiel, Institut für Betriebswirtschaftslehre, Kiel
Abstract: 
A batch sequencing model with sequence-dependent setup-times and -costs is used to compare modelling and solving with two different general solvers. "Conceptual models" are implemented in the constraint propagation / logic programming language CHARME and solved with the PROLOG inference engine. The mixed-integer-programming (MIP) formulation of the same problem is solved with OSL, a state-of-the-art MIP solver. Modelling is easier in CHARME and computational results show, that the first approach outperforms the second one for instances with high capacity utilization.
Subjects: 
Single Machine Batching/ Sequencing
Deadlines
Sequence-Dependent Setup-Times And -Costs
Logic/ Mixed-Integer Programming
Document Type: 
Working Paper
Document Version: 
Digitized Version

Files in This Item:
File
Size





Items in EconStor are protected by copyright, with all rights reserved, unless otherwise indicated.