SAT-Based Parallel Planning Using a Split Representation of Actions