Imagen de Portada

Algebraic and algorithmic synergies between promise and infinite-domain CSPs

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Mottet, Antoine
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

An order out of nowhere: a new algorithm for infinite-domain CSPs
por: Mottet, Antoine, et al.
Publicado: (2023)

Collapsing the bounded width hierarchy for infinite-domain CSPs: when symmetries are enough
por: Mottet, Antoine, et al.
Publicado: (2021)

Complexity Classification Transfer for CSPs via Algebraic Products
por: Bodirsky, Manuel, et al.
Publicado: (2022)

The Polynomial Hierarchy and $ω$-categorical CSPs
por: Pro, Santiago Guzmán, et al.
Publicado: (2026)

Satisfiability of commutative vs. non-commutative CSPs
por: Bulatov, Andrei A., et al.
Publicado: (2024)

Quantum Polymorphisms and the Complexity of Quantum Constraint Satisfaction
por: Ciardo, Lorenzo, et al.
Publicado: (2025)

Rings and Boolean Algebras as Algebraic Theories
por: De Faveri, Arturo
Publicado: (2025)

Restricted CSPs and F-free Digraph Algorithmics
por: Guzmán-Pro, Santiago, et al.
Publicado: (2025)

Notes on CSPs and Polymorphisms
por: Brady, Zarathustra
Publicado: (2022)

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

Solving promise equations over monoids and groups
por: Larrauri, Alberto, et al.
Publicado: (2024)

Pebble Games and Algebraic Proof Systems
por: Jaser, Lisa-Marie, et al.
Publicado: (2025)

Algebraic Reasoning over Relational Structures
por: Jurka, Jan, et al.
Publicado: (2024)

Computation by infinite descent made explicit
por: Enqvist, Sebastian
Publicado: (2025)

Deontic Action Logics: A Modular Algebraic Perspective
por: Areces, Carlos, et al.
Publicado: (2025)

A Deductive Refinement Calculus for Differential-Algebraic Programs
por: Hellwig, Jonathan, et al.
Publicado: (2026)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
por: Benedikt, Michael, et al.
Publicado: (2026)

Basic interactive algorithms: Preview
por: Gurevich, Yuri
Publicado: (2025)

A Generalized Algebraic Theory for Type Theory with Explicit Universe Polymorphism
por: Bezem, Marc, et al.
Publicado: (2026)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
por: Kaye, George
Publicado: (2025)

Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
por: Bernardo, Marco, et al.
Publicado: (2022)

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report)
por: Habermehl, Peter, et al.
Publicado: (2024)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
por: de Groot, Jim, et al.
Publicado: (2024)

Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
por: Katsura, Hiroyuki, et al.
Publicado: (2025)

Computable domains of a Halting Function
por: Peralta, Abel Luis
Publicado: (2024)

On the algorithmic structure of Dialectica realisers
por: Barbarossa, Davide, et al.
Publicado: (2025)

Tighter Bounds for Query Answering with Guarded TGDs
por: Amarilli, Antoine, et al.
Publicado: (2022)

The sorrows of a smooth digraph: the first hardness criterion for infinite directed graph-colouring problems
por: Brunar, Johanna, et al.
Publicado: (2025)

Enriching Diagrams with Algebraic Operations
por: Villoria, Alejandro, et al.
Publicado: (2023)

Semi-Algebraic Proof Systems for QBF
por: Beyersdorff, Olaf, et al.
Publicado: (2025)

Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras
por: Barto, Libor, et al.
Publicado: (2021)

Separating domains from algebraic domains
por: Jia, Xiaodong, et al.
Publicado: (2025)

Algebraic Structure of Quantum Controlled States and Operators
por: Agnew, Edwin, et al.
Publicado: (2026)

GATlab: Modeling and Programming with Generalized Algebraic Theories
por: Lynch, Owen, et al.
Publicado: (2024)

Nominal Type Theory by Nullary Internal Parametricity
por: Van Muylder, Antoine, et al.
Publicado: (2025)

Algebraic Semantics of Datalog with Equality
por: Bidlingmaier, Martin E.
Publicado: (2023)

When are two algorithms the same? Towards addressing Hilbert's 24th problem
por: Doubrovinski, Konstantin
Publicado: (2025)

The Rise of Plurimorphisms: Algebraic Approach to Approximation
por: Barto, Libor, et al.
Publicado: (2024)

Singleton algorithms for the Constraint Satisfaction Problem
por: Zhuk, Dmitriy
Publicado: (2025)

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
por: Jansen, David N., et al.
Publicado: (2019)