3 citations · 10 across the 13 of their papers we have counts for
1 paper · 1 filter
Mohammad Abdulaziz
We investigate upper bounds on the length of cost optimal plans that are valid for problems with 0-cost actions. We employ these upper bounds as horizons for a SAT-based encoding o…