Handling Goal Utility Dependencies in a Satisfiability Framework. - Richard Anthony Russell; Sean B. Holden (ICAPS, 2010)

Planning with preferences using maximum satisfiability. - Richard Anthony Russell (2012)