A Reduced Codification for the Logical Representation of Job Shop Scheduling Problems