SMT-based nonlinear PDDL+ planning
Planning as Satisfiability: Heuristics