conftrace_

backward search

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

heuristic search (2) counterexample-guided abstraction refinement (1) satisficing planning (1) bidirectional search (1) optimal planning (1) forward search (1) classical planning (1) regression analysis (1)

Papers

When CEGAR Meets Regression: A Love Story in Optimal Classical Planning AAAI 2024 Front-to-Front Heuristic Search for Satisficing Classical Planning IJCAI 2020