Buchumschlag

Algorithms and Complexity of Difference Logic

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Dabrowski, Konrad K., Jonsson, Peter, Ordyniak, Sebastian, Osipov, George
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Data Structures and Algorithms Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Parameterized Approximability for Modular Linear Equations
von: Dabrowski, Konrad K., et al.
Veröffentlicht: (2025)

Optimal FPT-Approximability for Modular Linear Equations
von: Dabrowski, Konrad K., et al.
Veröffentlicht: (2026)

Towards a Parameterized Approximation Dichotomy of MinCSP for Linear Equations over Finite Commutative Rings
von: Dabrowski, Konrad K., et al.
Veröffentlicht: (2024)

First Order Logic on Pathwidth Revisited Again
von: Lampis, Michael
Veröffentlicht: (2022)

Subgraph Isomorphism: Prolog vs. Conventional
von: Yin, Claire Y., et al.
Veröffentlicht: (2025)

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

Toward a Uniform Algorithm and Uniform Reduction for Constraint Problems
von: Barto, Libor, et al.
Veröffentlicht: (2026)

New Algorithms and Hardness Results for Robust Satisfiability of (Promise) CSPs
von: Brakensiek, Joshua, et al.
Veröffentlicht: (2026)

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

Efficient Coalgebraic Partition Refinement
von: Dorsch, Ulrich, et al.
Veröffentlicht: (2017)

Derivation and Verification of Array Sorting by Merging, and its Certification in Dafny
von: Carbonell, Juan Pablo, et al.
Veröffentlicht: (2025)

Model checking with temporal graphs and their derivative
von: Bui-Xuan, Binh-Minh, et al.
Veröffentlicht: (2026)

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

Approximate Model Counting, Sparse XOR Constraints and Minimum Distance
von: Boreale, Michele, et al.
Veröffentlicht: (2019)

Formal Primal-Dual Algorithm Analysis
von: Abdulaziz, Mohammad, et al.
Veröffentlicht: (2026)

The Iteration Number of the Weisfeiler-Leman Algorithm
von: Grohe, Martin, et al.
Veröffentlicht: (2023)

Polynomial Logical Zonotope: A Set Representation for Reachability Analysis of Logical Systems
von: Alanwar, Amr, et al.
Veröffentlicht: (2023)

On merge-models
von: Buffière, Hector, et al.
Veröffentlicht: (2026)

Exact Exploration
von: Blass, Andreas, et al.
Veröffentlicht: (2024)

Foundations for an Abstract Proof Theory in the Context of Horn Rules
von: Lyon, Tim S., et al.
Veröffentlicht: (2023)

Flipper games for monadically stable graph classes
von: Gajarský, Jakub, et al.
Veröffentlicht: (2023)

Solving Partial Dominating Set and Related Problems Using Twin-Width
von: Balabán, Jakub, et al.
Veröffentlicht: (2025)

Ranked Enumeration for MSO on Trees via Knowledge Compilation
von: Amarilli, Antoine, et al.
Veröffentlicht: (2023)

Direct Access for Answers to Conjunctive Queries with Aggregation
von: Eldar, Idan, et al.
Veröffentlicht: (2023)

Factorised Representations of Join Queries: Tight Bounds and a New Dichotomy
von: Berkholz, Christoph, et al.
Veröffentlicht: (2025)

The Model Counting Competitions 2021-2023
von: Fichte, Johannes K., et al.
Veröffentlicht: (2025)

The Model Counting Competition 2020
von: Fichte, Johannes K., et al.
Veröffentlicht: (2020)

Bounding Width on Graph Classes of Constant Diameter
von: Dabrowski, Konrad K., et al.
Veröffentlicht: (2025)

Fine-grained Meta-Theorems for Vertex Integrity
von: Lampis, Michael, et al.
Veröffentlicht: (2021)

On the Parameterized Complexity of Min-Sum-Radii
von: Kumar, Pankaj, et al.
Veröffentlicht: (2026)

Elementary first-order model checking for sparse graphs
von: Gajarský, Jakub, et al.
Veröffentlicht: (2024)

CNFs and DNFs with Exactly $k$ Solutions
von: Chandran, L. Sunil, et al.
Veröffentlicht: (2025)

Color Refinement for Relational Structures
von: Scheidt, Benjamin, et al.
Veröffentlicht: (2024)

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

On classes of bounded tree rank, their interpretations, and efficient sparsification
von: Gajarský, Jakub, et al.
Veröffentlicht: (2024)

Quadratic Sums-of-Powers for Fixed-Parameter Tractable Quantum-Circuit Simulation
von: de Colnet, Alexis, et al.
Veröffentlicht: (2026)

Asymptotically Smaller Encodings for Graph Problems and Scheduling
von: Subercaseaux, Bernardo
Veröffentlicht: (2025)

Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements
von: Grohe, Martin, et al.
Veröffentlicht: (2023)

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
von: Leutgeb, Lorenz, et al.
Veröffentlicht: (2022)

Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees
von: Koh, Zhuan Khye, et al.
Veröffentlicht: (2021)