delete-free planning

delete-free strips planning (1) partial function (1) action cost propagation (1) optimal plan (1) sat encoding (1) cost-optimal planning (1) strips planning (1) causal relation (1) combinatorial optimization (1)