:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Blondin, Michael, Cadilhac, Michaël, Cui, Xin-Yi, Czerner, Philipp, Esparza, Javier, Schulz, Jakob
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science Data Structures and Algorithms F.4.3; E.1
Acceso en línea:	https://arxiv.org/abs/2411.17250
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Data Structures for Finite Downsets of Natural Vectors: Theory and Practice
por: Cadilhac, Michaël, et al.
Publicado: (2025)

Scalable Learning of One-Counter Automata via State-Merging Algorithms
por: Guha, Shibashis, et al.
Publicado: (2025)

iSMC: A BDD-based Symbolic Model Checker with Interactive Certification
por: Czerner, Philipp, et al.
Publicado: (2026)

First Order Logic on Pathwidth Revisited Again
por: Lampis, Michael
Publicado: (2022)

Fine-grained Meta-Theorems for Vertex Integrity
por: Lampis, Michael, et al.
Publicado: (2021)

Foundations for an Abstract Proof Theory in the Context of Horn Rules
por: Lyon, Tim S., et al.
Publicado: (2023)

Exact Exploration
por: Blass, Andreas, et al.
Publicado: (2024)

Maintaining $\mathsf{CMSO}_2$ properties on dynamic structures with bounded feedback vertex number
por: Majewski, Konrad, et al.
Publicado: (2021)

Algorithms and Complexity of Difference Logic
por: Dabrowski, Konrad K., et al.
Publicado: (2024)

Subgraph Isomorphism: Prolog vs. Conventional
por: Yin, Claire Y., et al.
Publicado: (2025)

The Sherali-Adams and Weisfeiler-Leman hierarchies in (Promise Valued) Constraint Satisfaction Problems
por: Barto, Libor, et al.
Publicado: (2024)

Efficient Coalgebraic Partition Refinement
por: Dorsch, Ulrich, et al.
Publicado: (2017)

Derivation and Verification of Array Sorting by Merging, and its Certification in Dafny
por: Carbonell, Juan Pablo, et al.
Publicado: (2025)

Model checking with temporal graphs and their derivative
por: Bui-Xuan, Binh-Minh, et al.
Publicado: (2026)

MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras
por: Kleest-Meißner, Sarah, et al.
Publicado: (2022)

Approximate Model Counting, Sparse XOR Constraints and Minimum Distance
por: Boreale, Michele, et al.
Publicado: (2019)

Elementary first-order model checking for sparse graphs
por: Gajarský, Jakub, et al.
Publicado: (2024)

On merge-models
por: Buffière, Hector, et al.
Publicado: (2026)

CNFs and DNFs with Exactly $k$ Solutions
por: Chandran, L. Sunil, et al.
Publicado: (2025)

Flipper games for monadically stable graph classes
por: Gajarský, Jakub, et al.
Publicado: (2023)

Separators in Continuous Petri Nets
por: Blondin, Michael, et al.
Publicado: (2022)

Ranked Enumeration for MSO on Trees via Knowledge Compilation
por: Amarilli, Antoine, et al.
Publicado: (2023)

Direct Access for Answers to Conjunctive Queries with Aggregation
por: Eldar, Idan, et al.
Publicado: (2023)

Factorised Representations of Join Queries: Tight Bounds and a New Dichotomy
por: Berkholz, Christoph, et al.
Publicado: (2025)

Highway Preferential Attachment Models for Geographic Routing
por: Gila, Ofek, et al.
Publicado: (2024)

Zip-zip Trees: Making Zip Trees More Balanced, Biased, Compact, or Persistent
por: Gila, Ofek, et al.
Publicado: (2023)

A (Weakly) Polynomial Algorithm for AIVF Coding
por: Dolatabadi, Reza Hosseini, et al.
Publicado: (2024)

Fast Geographic Routing in Fixed-Growth Graphs
por: Gila, Ofek, et al.
Publicado: (2025)

Formal Primal-Dual Algorithm Analysis
por: Abdulaziz, Mohammad, et al.
Publicado: (2026)

Toward a Uniform Algorithm and Uniform Reduction for Constraint Problems
por: Barto, Libor, et al.
Publicado: (2026)

Color Refinement for Relational Structures
por: Scheidt, Benjamin, et al.
Publicado: (2024)

Quadratic Sums-of-Powers for Fixed-Parameter Tractable Quantum-Circuit Simulation
por: de Colnet, Alexis, et al.
Publicado: (2026)

The Iteration Number of the Weisfeiler-Leman Algorithm
por: Grohe, Martin, et al.
Publicado: (2023)

Asymptotically Smaller Encodings for Graph Problems and Scheduling
por: Subercaseaux, Bernardo
Publicado: (2025)

Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements
por: Grohe, Martin, et al.
Publicado: (2023)

A bargain for mergesorts -- How to prove your mergesort correct and stable, almost for free
por: Cohen, Cyril, et al.
Publicado: (2024)

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
por: Leutgeb, Lorenz, et al.
Publicado: (2022)

On classes of bounded tree rank, their interpretations, and efficient sparsification
por: Gajarský, Jakub, et al.
Publicado: (2024)

New Algorithms and Hardness Results for Robust Satisfiability of (Promise) CSPs
por: Brakensiek, Joshua, et al.
Publicado: (2026)

Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees
por: Koh, Zhuan Khye, et al.
Publicado: (2021)