Anytime and Exact Search for Planning Problems: How to Explore a DP-based State Transition Graph with A*, CP and LS? (Invited Talk).

Christine Solnon

Browse the full SAT paper archive.