"Dynamic state space partitioning for external memory state space exploration."

Sami Evangelista, Lars Michael Kristensen (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics