A Constraint-based Encoding for Domain-Independent Temporal Planning | Read Paper on Bytez