conftrace_

baggable type

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

bounded qualitative numeric planning (1) sound complete abstraction (1) sound and complete (1) qualitative numeric planning (1) generalized planning (1) automated planning (1)

Papers

An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types AAAI 2025