Constraint-Based Assembly Line Sequencing