Sylvan: Multi-Core Decision Diagrams.

Tom van Dijk, Jaco van de Pol

Browse the full TACAS paper archive.