Image de couverture de livre

Flexible constraint satisfiability and a problem in semigroup theory

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Jackson, Marcel
Format:	Preprint
Publié:	2015
Sujets:	Logic Computational Complexity Logic in Computer Science Combinatorics 68Q17, 20M07, 03C05, 08B99, 08C15
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity
par: Ham, Lucy, et autres
Publié: (2022)

On some algebraic properties of Plonka sums and regularized varieties
par: Bonzio, S., et autres
Publié: (2026)

The equational theory of the Weihrauch lattice with multiplication
par: Neumann, Eike, et autres
Publié: (2024)

On equationally Noetherian predicate structures
par: Buchinskiy, Ivan, et autres
Publié: (2024)

The Construction Principle and superstability of free objects in varieties of algebras
par: Hyttinen, Tapani, et autres
Publié: (2026)

Complexity of chess domination problems
par: Langlois-Rémillard, Alexis, et autres
Publié: (2022)

Complexities of Well-Quasi-Ordered Substructural Logics
par: Galatos, Nikolaos, et autres
Publié: (2025)

Exploring P versus NP
par: Tang, Jian-Gang
Publié: (2022)

The colored edge theory of A. Bulatov and binary absorption in minimal Taylor algebras
par: Brady, Zarathustra, et autres
Publié: (2026)

Finite models for positive combinatorial and exponential algebra
par: Alsulami, Tumadhir, et autres
Publié: (2024)

SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks
par: Marković, Petar, et autres
Publié: (2026)

#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?
par: Bannach, Max, et autres
Publié: (2025)

Minimal operations over permutation groups
par: Marimon, Paolo, et autres
Publié: (2024)

Algebra of Self-Replication
par: Moss, Lawrence S.
Publié: (2023)

Varieties defined by linear equations have the amalgamation property
par: Lipparini, Paolo
Publié: (2021)

Graded Monads in the Semantics of Nominal Automata
par: Schulze, Hannes, et autres
Publié: (2025)

Probabilistic equational spectrum, primality and approximation in finite algebras
par: Cardó, Carles
Publié: (2026)

Varieties of MV-monoids and positive MV-algebras
par: Abbadini, Marco, et autres
Publié: (2024)

The proper conflict-free $k$-coloring problem and the odd $k$-coloring problem are NP-complete on bipartite graphs
par: Ahn, Jungho, et autres
Publié: (2022)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
par: Koshkin, Sergiy
Publié: (2024)

Polymorphism-homogeneity and universal algebraic geometry
par: Tóth, Endre, et autres
Publié: (2020)

A Minimal Substitution Basis for the Kalmár Elementary Functions
par: Prunescu, Mihai, et autres
Publié: (2025)

Generalization of terms via universal algebra
par: Flaminio, Tommaso, et autres
Publié: (2025)

The elementary theory of free Steiner triple systems
par: Barbina, Silvia, et autres
Publié: (2024)

Results on three problems on isolation of graphs
par: Borg, Peter, et autres
Publié: (2026)

From Gödel incompleteness to the consistency of circuit lower bounds
par: Atserias, Albert, et autres
Publié: (2026)

The variety of coset relation algebras
par: Givant, Steven, et autres
Publié: (2018)

A choice-free proof of Mal'cev's theorem on quasivarieties
par: Shen, Guozhen
Publié: (2025)

Multisorted Boolean Clones Determined by Binary Relations up to Minion Homomorphisms
par: Barto, Libor, et autres
Publié: (2024)

On semigroups and groupoids with minimal probabilistic spectrum
par: Cardó, Carles
Publié: (2026)

Preservation theorems on sparse classes revisited
par: Dawar, Anuj, et autres
Publié: (2024)

Finitely Bounded Homogeneity Turned Inside-Out
par: Rydval, Jakub
Publié: (2021)

The CSP Dichotomy, the Axiom of Choice, and Cyclic Polymorphisms
par: Kátay, Tamás, et autres
Publié: (2023)

Zhuk's bridges, centralizers, and similarity
par: Willard, Ross
Publié: (2025)

Definability of band structures on posets
par: Kuperman, Joel, et autres
Publié: (2024)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
par: Frey, Jonas
Publié: (2023)

Computational Complexity of Model-Checking Quantum Pushdown Systems
par: Lin, Deren, et autres
Publié: (2025)

Quantifier-free formulas and quantifier alternation depth in doctrines
par: Abbadini, Marco, et autres
Publié: (2024)

Complexity of Sequence-to-Graph Alignment with Co-Linear Chaining
par: Li, Xingfu
Publié: (2026)

Coherent Conditions: Algebraic Geometry for Arbitrary Classes of Algebras
par: van Nispen, K. R.
Publié: (2025)