Rintanen, J. Heuristics for Planning With SAT and Expressive Action Definitions. ICAPS 2011, 21, 210-217.