Copertina

Efficient Binary Decision Diagram Manipulation in External Memory

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Sølvsten, Steffan Christ, van de Pol, Jaco, Jakobsen, Anna Blume, Thomasen, Mathias Weller Berg
Natura:	Preprint
Pubblicazione:	2021
Soggetti:	Data Structures and Algorithms 68W30 (primary) 68R05, 68Q60, 68R07 (secondary) E.1; F.2.2; F.2.1; I.1.2
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Multi-variable Quantification of BDDs in External Memory using Nested Sweeping (Extended Paper)
di: Sølvsten, Steffan Christ, et al.
Pubblicazione: (2024)

Symbolic Model Checking in External Memory
di: Sølvsten, Steffan Christ, et al.
Pubblicazione: (2025)

Predicting Memory Demands of BDD Operations using Maximum Graph Cuts (Extended Paper)
di: Sølvsten, Steffan Christ, et al.
Pubblicazione: (2023)

Rigorous methods for computational number theory
di: de Boer, Koen, et al.
Pubblicazione: (2025)

Competitive Data-Structure Dynamization
di: Mathieu, Claire, et al.
Pubblicazione: (2020)

RTD-Conjecture and Concept Classes Induced by Graphs
di: Simon, Hans U.
Pubblicazione: (2025)

How to Compute a Moving Sum
di: Maslen, David K., et al.
Pubblicazione: (2025)

Boltzmann sampling and optimal exact-size sampling for directed acyclic graphs
di: Gabryelski, Wojciech, et al.
Pubblicazione: (2026)

An Explicit and Efficient $O(n^2)$-Time Algorithm for Sorting Sumsets
di: Mundhra, S.
Pubblicazione: (2025)

Extending the Extension: Deterministic Algorithm for Non-monotone Submodular Maximization
di: Buchbinder, Niv, et al.
Pubblicazione: (2024)

Templated Assembly Theory: An Extension of the Canonical Assembly Index with Block-Compressed Template
di: Masierak, Piotr
Pubblicazione: (2026)

Multipole Semantic Attention: A Fast Approximation of Softmax Attention for Pretraining
di: Mitchell, Rupert, et al.
Pubblicazione: (2025)

On the twin-width of near-regular graphs
di: Heinrich, Irene, et al.
Pubblicazione: (2025)

Experimental algorithms for the dualization problem
di: Mezzini, Mauro, et al.
Pubblicazione: (2025)

Near-Optimal Bootstrapping of Hitting Sets for Algebraic Models
di: Kumar, Mrinal, et al.
Pubblicazione: (2018)

Worst-Case Examples for the Computation of Persistent Homology
di: Çetin, Uzay, et al.
Pubblicazione: (2026)

A Space-Efficient Algorithm for Longest Common Almost Increasing Subsequence of Two Sequences
di: Rahat, Md Tanzeem, et al.
Pubblicazione: (2025)

Searching in trees with monotonic query times
di: Dereniowski, Dariusz, et al.
Pubblicazione: (2024)

Homomorphism Counts to Trees
di: Dawar, Anuj
Pubblicazione: (2024)

Dorst-Smeulders Coding for Arbitrary Binary Words
di: De Luca, Alessandro, et al.
Pubblicazione: (2025)

Nearly Tight Sample Complexity for Matroid Online Contention Resolution
di: Feldman, Moran, et al.
Pubblicazione: (2025)

Bicriteria Submodular Maximization
di: Feldman, Moran, et al.
Pubblicazione: (2025)

Foundations of block-parallel automata networks
di: Perrot, Kévin, et al.
Pubblicazione: (2025)

On Graph Grammars and Games
di: Vijayakumar, Jayakrishna, et al.
Pubblicazione: (2024)

Which graph motif parameters count?
di: Bläser, Markus, et al.
Pubblicazione: (2025)

Iterated Resultants and Rational Functions in Real Quantifier Elimination
di: Davenport, James H., et al.
Pubblicazione: (2023)

On the near-tightness of $χ\leq 2r$: a general $σ$-ary construction and a binary case via LFSRs
di: Date, Vinicius T. V., et al.
Pubblicazione: (2025)

An efficient algorithm for identifying rainbow ortho-convex 4-sets in k-colored point sets
di: Flores-Peñaloza, David, et al.
Pubblicazione: (2024)

Advances in Quantum Genetic Algorithms
di: Lima, Dennis, et al.
Pubblicazione: (2025)

Computing and Enumerating Minimal Common Supersequences Between Two Strings
di: Sopp, Braeden, et al.
Pubblicazione: (2026)

Towards a Rigorous Understanding of the Population Dynamics of the NSGA-III: Tight Runtime Bounds
di: Opris, Andre
Pubblicazione: (2025)

On the Approximation Ratio of the $k$-Opt and Lin-Kernighan Algorithm
di: Zhong, Xianghui
Pubblicazione: (2019)

Decidability of membership problems for flat rational subsets of $\mathrm{GL}(2,\mathbb{Q})$ and singular matrices
di: Diekert, Volker, et al.
Pubblicazione: (2019)

Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes
di: Golovach, Petr A., et al.
Pubblicazione: (2022)

Improved Approximation Algorithms for Path and Forest Augmentation via a Novel Relaxation
di: Hommelsheim, Felix
Pubblicazione: (2025)

A $4/3$ Approximation for $2$-Vertex-Connectivity
di: Bosch-Calvo, Miguel, et al.
Pubblicazione: (2023)

Point Location in Constant Time
di: Chaganti, Sairam, et al.
Pubblicazione: (2023)

Quantum walk informed variational algorithm design
di: Matwiejew, Edric, et al.
Pubblicazione: (2024)

Extending Exact Integrality Gap Computations for the Metric TSP
di: Cook, William, et al.
Pubblicazione: (2026)

On the PLS-Completeness of $k$-Opt Local Search for the Traveling Salesman Problem
di: Heimann, Sophia, et al.
Pubblicazione: (2026)