Buchumschlag

Symbolic Model Checking in External Memory

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sølvsten, Steffan Christ, van de Pol, Jaco
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Data Structures and Algorithms Logic in Computer Science 68W30 (primary) 68Q60, 68R07 (secondary) E.1; F.2.2; I.1.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Efficient Binary Decision Diagram Manipulation in External Memory
von: Sølvsten, Steffan Christ, et al.
Veröffentlicht: (2021)

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

Multipole Semantic Attention: A Fast Approximation of Softmax Attention for Pretraining
von: Mitchell, Rupert, et al.
Veröffentlicht: (2025)

Experimental algorithms for the dualization problem
von: Mezzini, Mauro, et al.
Veröffentlicht: (2025)

On the Average Runtime of an Open Source Binomial Random Variate Generation Algorithm
von: Cicirello, Vincent A.
Veröffentlicht: (2024)

Algorithms for Generating Small Random Samples
von: Cicirello, Vincent A.
Veröffentlicht: (2024)

Rigorous methods for computational number theory
von: de Boer, Koen, et al.
Veröffentlicht: (2025)

Improved Randomized Approximation of Hard Universality and Emptiness Problems
von: Andreou, Pantelis, et al.
Veröffentlicht: (2024)

Iterated Resultants and Rational Functions in Real Quantifier Elimination
von: Davenport, James H., et al.
Veröffentlicht: (2023)

TreeWidzard: An Engine for Width-Based Dynamic Programming and Automated Theorem Proving
von: Oliveria, Mateus de Oliveira, et al.
Veröffentlicht: (2026)

Competitive Data-Structure Dynamization
von: Mathieu, Claire, et al.
Veröffentlicht: (2020)

How to Compute a Moving Sum
von: Maslen, David K., et al.
Veröffentlicht: (2025)

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

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

Extending the Extension: Deterministic Algorithm for Non-monotone Submodular Maximization
von: Buchbinder, Niv, et al.
Veröffentlicht: (2024)

NP-membership for the boundary-boundary art-gallery problem
von: Stade, Jack
Veröffentlicht: (2025)

An Explicit and Efficient $O(n^2)$-Time Algorithm for Sorting Sumsets
von: Mundhra, S.
Veröffentlicht: (2025)

A universal sequence of tensors for the asymptotic rank conjecture
von: Kaski, Petteri, et al.
Veröffentlicht: (2024)

Many Objective Problems Where Crossover is Provably Essential
von: Opris, Andre
Veröffentlicht: (2024)

Fast sampling of satisfying assignments from random $k$-SAT with applications to connectivity
von: Chen, Zongchen, et al.
Veröffentlicht: (2022)

On Identifying Critical Network Edges via Analyzing Changes in Shapes (Curvatures)
von: DasGupta, Bhaskar, et al.
Veröffentlicht: (2026)

Optimal non-adaptive algorithm for edge estimation
von: Bishnu, Arijit, et al.
Veröffentlicht: (2025)

On the Parallel Complexity of Group Isomorphism via Weisfeiler-Leman
von: Grochow, Joshua A., et al.
Veröffentlicht: (2021)

Count-Free Weisfeiler--Leman and Group Isomorphism
von: Collins, Nathaniel A., et al.
Veröffentlicht: (2022)

Contrastive Consolidation of Top-Down Modulations Achieves Sparsely Supervised Continual Learning
von: Tran, Viet Anh Khoa, et al.
Veröffentlicht: (2025)

Logarithmic Weisfeiler--Leman and Treewidth
von: Levet, Michael, et al.
Veröffentlicht: (2023)

Canonizing Graphs of Bounded Rank-Width in Parallel via Weisfeiler--Leman
von: Levet, Michael, et al.
Veröffentlicht: (2023)

On (In)approximability of MaxMin Independent Set Reconfiguration
von: Hoang, Hung P., et al.
Veröffentlicht: (2026)

Improved Approximation Algorithms for the Expanding Search Problem
von: Griesbach, Svenja M., et al.
Veröffentlicht: (2023)

Extending Exact Integrality Gap Computations for the Metric TSP
von: Cook, William, et al.
Veröffentlicht: (2026)

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

Fast Gaussian Distributed Pseudorandom Number Generation in Java via the Ziggurat Algorithm
von: Cicirello, Vincent A.
Veröffentlicht: (2024)

Quantum Search without Global Diffusion
von: Burke, John, et al.
Veröffentlicht: (2026)

Exact Set Packing in Multimodal Transportation with Ridesharing System for First/Last Mile
von: Gu, Qian-Ping, et al.
Veröffentlicht: (2025)

A 13/6-Approximation for Strip Packing via the Bottom-Left Algorithm
von: Hougardy, Stefan, et al.
Veröffentlicht: (2025)

On the twin-width of near-regular graphs
von: Heinrich, Irene, et al.
Veröffentlicht: (2025)

$XX^{t}$ Can Be Faster
von: Rybin, Dmitry, et al.
Veröffentlicht: (2025)

The Quasi-probability Method and Applications for Trace Reconstruction
von: Rubinstein, Ittai
Veröffentlicht: (2024)

A near-complete resolution of the exponential-time complexity of k-opt for the traveling salesman problem
von: Heimann, Sophia, et al.
Veröffentlicht: (2025)