Technical Report No. 280 - Abstract

Johannes Aldinger and Bernhard Nebel
Addendum to ’Interval Based Relaxation Heuristics for Numeric Planning with Action Costs’

This report contains two theorems and their proofs supplementing our work published at the 40th German Conference on Artificial Intelligence under the title ’Interval Based Relaxation Heuristics for Numeric Planning with Action Costs’.