conftrace_

unsolvability detection

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

self-supervised classification (1) decision procedure (1) heuristic learning (1) classical planning (1) model checking (1) first-order logic (1) heuristic search (1) temporal planning (1)

Papers

Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping AAAI 2022 Learning Generalized Unsolvability Heuristics for Classical Planning IJCAI 2021