Co-occurring keywords
Papers
Step Back to Leap Forward: Self-Backtracking for Symbolic Reasoning and Planning in Language Models
AAAI 2026
Optimally Efficient Bidirectional Search
IJCAI 2019
On Creating Complementary Pattern Databases
IJCAI 2017