SAT-Based Parallel Planning Using a Split Representation of Actions

Open in new window