Return to Article Details Optimal Partial-Order Plan Relaxation via MaxSAT Download Download PDF