Multi-core Nested Depth-First Search.

Alfons Laarman, Rom Langerak, Jaco van de Pol, Michael Weber, Anton Wijs

Browse the full ATVA paper archive.