conftrace_

self-supervised classification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

unsolvability detection (1) heuristic learning (1) classical planning (1) first-order logic (1)

Papers

Learning Generalized Unsolvability Heuristics for Classical Planning IJCAI 2021