Login / Signup

Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy.

Sebastian KupferschmidMartin Wehrle
Published in: TACAS (2011)
Keyphrases
  • pattern databases
  • admissible heuristics
  • heuristic search
  • multi agent
  • computational complexity
  • pattern database heuristics
  • objective function