Dense Time and Temporal Constraints with !=