View of SAT-Based Parallel Planning Using a Split Representation of Actions

Return to Article Details SAT-Based Parallel Planning Using a Split Representation of Actions Download Download PDF