A variety of hybrids of Constraint Programming, Artificial Intelligence and Operations Research techniques have given impressive results. Three recent approaches are (i) the use of relaxations in constraint systems, (ii) non-systematic backtracking to boost the scalability of constraint solvers, and (iii) non-systematic backtracking to boost the scalability of branch-and-bound search. This pape...

1 As urban traffic congestion is on the increase worldwide, it is critical to maximize capacity and 2 throughput of existing road infrastructure through optimized traffic signal control. To this end, we 3 build on the body of work in mixed integer linear programming (MILP) approaches that attempt to 4 jointly optimize traffic signal control over an entire traffic network and specifically on imp...

in order to implement the cellular manufacturing system in practice, some essential factors should be taken into account. in this paper, a new mathematical model for cellular manufacturing system considering different production factors including alternative process routings and machine reliability with stochastic arrival and service times in a dynamic environment is proposed. also because of t...