Abstract
This work will merge two different lines of research, namely state-space search with binary decision diagrams (BDDs), that was initially proposed for Model Checking and still is state of the art in AI Planning; and statespace compaction with (minimal) perfect hashing, which is used in the algorithm community as a memory-based index for big data (often residing on disk).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2023 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Edelkamp, S. (2023). Problem Solving. In: Algorithmic Intelligence. Springer, Cham. https://doi.org/10.1007/978-3-319-65596-3_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-65596-3_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-65595-6
Online ISBN: 978-3-319-65596-3
eBook Packages: Computer ScienceComputer Science (R0)