@inbook{fda934aeddfa4641be943f886048ed83,
title = "The ComBack method revisited: caching strategies and extension with delayed duplicate detection",
abstract = "The ComBack method is a memory reduction technique for explicit state space search algorithms. It enhances hash compaction with state reconstruction to resolve hash conflicts on-the-fly thereby ensuring full coverage of the state space. In this paper we provide two means to lower the run-time penalty induced by state reconstructions: a set of strategies to implement the caching method proposed in [20], and an extension through delayed duplicate detection that allows to group reconstructions together to save redundant work.",
author = "S. Evangelista and M. Westergaard and L.M. Kristensen",
year = "2009",
doi = "10.1007/978-3-642-04856-2_8",
language = "English",
isbn = "978-3-642-04854-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "189--215",
editor = "K. Jensen and J. Billington and M. Koutny",
booktitle = "Transactions on Petri Nets and Other Models of Concurrency III",
address = "Germany",
}