Constraint-based Vehicle Assembly Line Sequencing