Pontificia Universidad Católica de Chile Pontificia Universidad Católica de Chile

LM-cut and Operator Counting Heuristics for Optimal Numeric Planning with Simple Conditions