conftrace_

delete-free strips planning

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

Efficient Encoding of Cost Optimal Delete-Free Planning as SAT AAAI 2022