conftrace_

arc solver

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

pddl modeling (1) abstraction reasoning (1) arc benchmark (1) planning domain definition language (1) abstract reasoning (1) generalized planning (1) program synthesis (1) automated planning (1)

Papers

Generalized Planning for the Abstraction and Reasoning Corpus AAAI 2024