Elimination Rules for Disjunctive Scheduling Problem