Adiar Binary Decision Diagrams in External Memory.

Steffan Christ Slvsten, Jaco van de Pol, Anna Blume Jakobsen, Mathias Weller Berg Thomasen

Browse the full TACAS paper archive.