Search-Order Independent State Caching

Abstract. State caching is a memory reduction technique used by model checkers to alleviate the state explosion problem. It has traditionally been coupled with a depth-first search to ensure termination. We propose and experimentally evaluate an extension of the state caching method for general state exploring algorithms that are independent of the search order (i.e., search algorithms that partition the state space into closed (visited) states, open (to visit) states and unmet states).

• Type: Journal
• Year: 2010
• Where: TOPNOC
• Authors: Sami Evangelista, Lars Michael Kristensen
• Keywords: Artificial Intelligence, Depth-first Search, Memory Reduction Technique, State Explosion Problem, TOPNOC 2010