conftrace_

sound and complete

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

unsolvability certificate (1) baggable type (1) bounded qualitative numeric planning (1) sound complete abstraction (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 Inductive Certificates of Unsolvability for Domain-Independent Planning IJCAI 2018