The sample analysis machine scheduling problem: definition and comparison of exact solving approaches

DOI10.1016/J.COR.2022.105730MaRDI QIDQ2146991zbMATH OpenOpenAlexFDO

Authors Miquel Bofill, Jordi Coll, Gerard Martín, Josep Suy, Mateu Villaret

Publication date 22 June 2022

Published in Computers \& Operations Research (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1016/j.cor.2022.105730

zbMATH Keywords

constraint programmingMILPRCPSPsample analysisschedulingSMT

Mathematics Subject Classification ID

Operations research and management science (90Bxx)

Recommendations

• On a scheduling problem in a robotized analytical system
• Scheduling under labour resource constraints
• Scheduling and constraint propagation
• A local search framework for industrial test laboratory scheduling
• An update on the comparison of MIP, CP and hybrid approaches for mixed resource allocation and scheduling

Cites work

• A parametric approach for smaller and better encodings of cardinality constraints
• A survey of variants and extensions of the resource-constrained project scheduling problem
• An update on the comparison of MIP, CP and hybrid approaches for mixed resource allocation and scheduling
• Computing lower bounds by destructive improvement: An application to resource-constrained project scheduling
• Failure-directed search for constraint-based scheduling
• scientific article; zbMATH DE number 4135692 (Why is no real title available?)
• scientific article; zbMATH DE number 5493266 (Why is no real title available?)
• IBM ILOG CP optimizer for scheduling. 20+ years of scheduling with constraints at IBM/ILOG
• Mixed integer linear programming and constraint programming models for the online printing shop scheduling problem
• On the strength of time-indexed formulations for the resource-constrained project scheduling problem
• Project scheduling with resource constraints: A branch and bound approach. Note by Frederik Kaefer
• Resource-constrained project scheduling: Notation, classification, models, and methods
• Scheduling of continuous and discontinuous material flows with intermediate storage restrictions
• Solving RCPSP/max by lazy clause generation
• The project scheduling problem with production and consumption of resources: a list-scheduling based algorithm

Cited in

(2)

• scientific article; zbMATH DE number 5521829 (Why is no real title available?)
• Improved timetable edge finder rule for cumulative constraint with profile

Describes a project that uses

Uses Software

• ILOG SCHEDULE
• CPLEX
• Yices

This page was built for publication: The sample analysis machine scheduling problem: definition and comparison of exact solving approaches

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2146991)