External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Relaxation Refinement: A New Method to Generate Heuristic Functions

Jan-Georg Smaus, Jörg Hoffmann. Relaxation Refinement: A New Method to Generate Heuristic Functions. In Doron Peled, Michael Wooldridge, editors, Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. Volume 5348 of Lecture Notes in Computer Science, pages 147-165, Springer, 2008. [doi]

Authors

Jan-Georg Smaus

This author has not been identified. It may be one of the following persons: Look up 'Jan-Georg Smaus' in Google

Jörg Hoffmann

This author has not been identified. Look up 'Jörg Hoffmann' in Google
runs on