Copertina

Efficient Coalgebraic Partition Refinement

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Dorsch, Ulrich, Milius, Stefan, Schröder, Lutz, Wißmann, Thorsten
Natura:	Preprint
Pubblicazione:	2017
Soggetti:	Data Structures and Algorithms Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Color Refinement for Relational Structures
di: Scheidt, Benjamin, et al.
Pubblicazione: (2024)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
di: Wißmann, Thorsten, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

Exact Exploration
di: Blass, Andreas, et al.
Pubblicazione: (2024)

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

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

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

Finding hardness reductions automatically using SAT solvers
di: Bergold, Helena, et al.
Pubblicazione: (2024)

First Order Logic on Pathwidth Revisited Again
di: Lampis, Michael
Pubblicazione: (2022)

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

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

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

Well-Founded Coalgebras Meet König's Lemma
di: Urbat, Henning, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

Asymptotically Smaller Encodings for Graph Problems and Scheduling
di: Subercaseaux, Bernardo
Pubblicazione: (2025)

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

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

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

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

Solving Partial Dominating Set and Related Problems Using Twin-Width
di: Balabán, Jakub, et al.
Pubblicazione: (2025)

SDPs and Robust Satisfiability of Promise CSP
di: Brakensiek, Joshua, et al.
Pubblicazione: (2022)

Verified Purely Functional Catenable Real-Time Deques
di: Viennot, Jules, et al.
Pubblicazione: (2025)

The Model Counting Competitions 2021-2023
di: Fichte, Johannes K., et al.
Pubblicazione: (2025)

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

The Model Counting Competition 2020
di: Fichte, Johannes K., et al.
Pubblicazione: (2020)

From Tensor Networks to Tractable Circuits, and back
di: Quist, Arend-Jan, et al.
Pubblicazione: (2026)