conftrace_

qualitative numeric planning

2 papers

Explore in graph

Also known as

QNP

Co-occurring keywords · papers mentioning both

strong cyclic solution (1) termination test (1) pruning strategy (1) sound and complete (1) baggable type (1) bounded qualitative numeric planning (1) sound complete abstraction (1) generalized planning (1) graph search (1) and/or graph (1)

Papers

An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types AAAI 2025 A Native Qualitative Numeric Planning Solver Based on AND/OR Graph Search IJCAI 2022