conftrace_

strong cyclic solution

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

qualitative numeric planning (1) termination test (1) pruning strategy (1) fully observable nondeterministic planning (1) planning solver (1) fairness assumption (1) qualitative numerical planning (1) graph search (1) and/or graph (1)

Papers

Solving QNP and FOND+ with Generating, Testing and Forbidding IJCAI 2025 A Native Qualitative Numeric Planning Solver Based on AND/OR Graph Search IJCAI 2022