Categories
recording

Learning Planning Representations from Traces via SAT