A GPU Tree Database for Many-Core Explicit State Space Exploration.

Anton Wijs, Muhammad Osama

Browse the full TACAS paper archive.