conftrace_

symbolic search

9 papers

Explore in graph

Co-occurring keywords

optimal planning (31) heuristic search (165) program synthesis (233) automated planning (152) complementary heuristics (1) transformation sequence (1) pattern database (6) a* search (18) hierarchical task network (26) a* algorithm (12)

Papers

Solving Visual Analogies Using Neural Algorithmic Reasoning (Student Abstract) AAAI 2022
Operator-Potential Heuristics for Symbolic Search AAAI 2022
Symbolic Search for Optimal Total-Order HTN Planning AAAI 2021
Faster Stackelberg Planning via Symbolic Search and Information Sharing AAAI 2021
Symbolic Search for Oversubscription Planning AAAI 2021
Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties IJCAI 2020
Symbolic Top-k Planning AAAI 2020
Learning to Infer Program Sketches ICML 2019
On Creating Complementary Pattern Databases IJCAI 2017