Large implicit state space enumeration: overcoming memory and disk limitations.
This thesis presents a software implementation that provides an application-independent method for searching and enumerating implicit state spaces too large for distributed memory. When presented with a specific enumeration application and a description of the hardware resources available for the en...
| Published: |
|
|---|---|
| Online Access: | http://hdl.handle.net/2047/d10016405 |