Preference-Based Planning via MaxSAT. - Farah Juma; Eric I. Hsu; Sheila A. McIlraith (Canadian AI, 2012)