Improved Multi-Core Nested Depth-First Search.

Sami Evangelista, Alfons Laarman, Laure Petrucci, Jaco van de Pol

Browse the full ATVA paper archive.