Search-Order Independent State Caching

DOI10.1007/978-3-642-18222-8_2MaRDI QIDQ3066131zbMATH OpenOpenAlexFDO

Authors Sami Evangelista, Lars M. Kristensen

Publication date 8 January 2011

Published in Transactions on Petri Nets and Other Models of Concurrency IV (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-18222-8_2

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Caching Search States in Permutation Problems
• Non-overlapping indexing -- cache obliviously
• Cache-independent algorithms
• The cost of cache-oblivious searching
• Automata, Languages and Programming
• Model Checking Software
• Cache-oblivious data structures for orthogonal range searching

Cited in

(6)

• Improving search order for reachability testing in timed automata
• Caching Search States in Permutation Problems
• Hierarchical Adaptive State Space Caching Based on Level Sampling
• The ComBack method revisited: caching strategies and extension with delayed duplicate detection
• Operation caching and state compression for model checking of high-level models. How to have your cake and eat it
• Model Checking Software

Describes a project that uses

Uses Software

• DiVinE

This page was built for publication: Search-Order Independent State Caching

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3066131)