Efficient Binary Decision Diagram Manipulation in External Memory

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sølvsten, Steffan Christ, van de Pol, Jaco, Jakobsen, Anna Blume, Thomasen, Mathias Weller Berg
Format:	Preprint
Veröffentlicht:	2021
Schlagworte:	Data Structures and Algorithms 68W30 (primary) 68R05, 68Q60, 68R07 (secondary) E.1; F.2.2; F.2.1; I.1.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!

Ähnliche Einträge