Job Shop Scheduling as a CSP
Variables: Start time stil
stil + duil ? stjl ? stjl + dujl ? stil
Start Point Representation
Variables: Ordering(i,j,R) for task i and j
contending for resource R.
Domain: {i-before-j, j-before-i}
Constraints: Posting and propagation in
the underlying temporal constraint network
(time points and intervals)
Disjunction typically comes
through capacity constraints