Be a Solver (III)

• Different update strategies can have different performance
• Differences w.r.t. CPM (Critical Path Method):
  • A particular application of finite domains
  • Gives more information than CPM
  • Finding slack for intermediate jobs: simply set $e = 6$, start again -- same algorithm, same solver, same representation
  • Modeling other relationships without special algorithms:
    • $b$ and $c$ cannot start at the same time: $b \neq c$
    • A task can vary in length devoting different resources; how does this affect the overall project?
      
      $$f + x \leq g$$
      
      

    • Manpower can be shared between tasks: