Login / Signup
Memory efficient state storage in Spin.
Willem Visser
Howard Barringer
Published in:
The Spin Verification System (1996)
Keyphrases
</>
memory efficient
state space
database
processing capabilities
iterative deepening
data sets
neural network
metadata
data structure
storage requirements
external memory
room temperature