Comment Algorithms? (Score 2) 34
Just wondering if anybody has leads on the algorithms they use. The description sounds like they explore the search tree in parallel, but doesn't give any hints on algorithms. The Operations Research community often uses things like Constraint Propagation (CP), or Mixed-Integer Linear Programming (MILP) to solve scheduling problems, and there's a ton of literature on using these techniques.
A.