Multi-core Nested Depth-First Search. (2011)

by Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs
Venue:In Automated Technology for Verification and Analysis (ATVA 2011),