Cover Image

Strict width for Constraint Satisfaction Problems over homogeneous strucures of finite duality

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Nagy, Tomáš, Pinsker, Michael
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
by: Pinsker, Michael, et al.
Published: (2025)

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

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

The Golden Path to Guarded Monotone Strict NP
by: Barsukov, Alexey, et al.
Published: (2023)

When Darwin met Ianus: dichotomies of expressivity
by: Brunar, Johanna, et al.
Published: (2025)

$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
by: Zhuk, Dmitriy
Published: (2024)

Singleton algorithms for the Constraint Satisfaction Problem
by: Zhuk, Dmitriy
Published: (2025)

Discrete Homotopy and Promise Constraint Satisfaction Problem
by: Beikmohammadi, Arash, et al.
Published: (2025)

Strict universes for Grothendieck topoi
by: Gratzer, Daniel, et al.
Published: (2022)

The Constraint Satisfaction Problem Over Multisorted Cores
by: Delic, Dejan, et al.
Published: (2025)

Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators
by: Kikot, Stanislav, et al.
Published: (2017)

An algebraic proof of the dichotomy for graph orientation problems with forbidden tournaments
by: Feller, Roman, et al.
Published: (2024)

Tree Rewriting Calculi for Strictly Positive Logics
by: Santiago-Fernández, Sofía, et al.
Published: (2025)

Network Satisfaction Problems Solved by k-Consistency
by: Bodirsky, Manuel, et al.
Published: (2023)

Decidability of Interpretability
by: Feller, Roman, et al.
Published: (2026)

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

SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks
by: Marković, Petar, et al.
Published: (2026)

Effects of the Strict-Tolerant Approach on Intuitionistic and Minimal Logic
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

The 2-Dimensional Constraint Loop Problem is Decidable
by: Guilmant, Quentin, et al.
Published: (2024)

Efficient Solving for Dynamic Data Structure Constraint Satisfaction Problem
by: Li, Nanbing, et al.
Published: (2026)

Applications of Quantified Constraint Solving over the Reals -- Bibliography
by: Ratschan, Stefan
Published: (2012)

The mu-calculus' Alternation Hierarchy is Strict over Non-Trivial Fusion Logics
by: Pacheco, Leonardo
Published: (2025)

Implication Problems over Positive Semirings
by: Hirvonen, Minna
Published: (2025)

The Church Synthesis Problem over Continuous Time
by: Rabinovich, Alexander, et al.
Published: (2024)

The Discontinuity Problem
by: Brattka, Vasco
Published: (2020)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
by: Miya, Shinobu
Published: (2025)

A Syntax for Strictly Associative and Unital $\infty$-Categories
by: Finster, Eric, et al.
Published: (2023)

Problems and Consequences of Bilateral Notions of (Meta-)Derivability
by: Ayhan, Sara
Published: (2025)

The Proof Analysis Problem
by: Arteche, Noel, et al.
Published: (2025)

Strict Rezk completions of models of HoTT and homotopy canonicity
by: Bocquet, Rafaël
Published: (2023)

On matrix rank function over bounded arithmetics
by: Ken, Eitetsu, et al.
Published: (2023)

Constraint Learning for Non-confluent Proof Search
by: Rawson, Michael, et al.
Published: (2026)

Self-Supervised Transformers as Iterative Solution Improvers for Constraint Satisfaction
by: Xu, Yudong W., et al.
Published: (2025)

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

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
by: Gaßner, Christine
Published: (2025)

On the Axioms of Arboreal Categories
by: Jakl, Tomáš, et al.
Published: (2026)

Coalgebraic Path Constraints
by: Schmid, Todd
Published: (2026)