Encoding Domain Transitions for Constraint-Based Planning