An algebraic approach to multi-sorted constraints

DOI10.1007/B13743MaRDI QIDQ5897196zbMATH OpenOpenAlexFDO

Authors Andrei A. Bulatov, P. Jeavons

Publication date 2 March 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b13743

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Database theory (68P15)

Recommendations

• Classifying the Complexity of Constraints Using Finite Algebras
• scientific article; zbMATH DE number 1670830
• New tractable classes from old
• A dichotomy theorem for constraint satisfaction problems on a 3-element set
• scientific article; zbMATH DE number 2080305

Cited in

(19)

• Properties of tree convex constraints
• Soft constraints: complexity and multimorphisms
• An interactive algorithm for multiple criteria constrained sorting problem
• Towards a dichotomy theorem for the counting constraint satisfaction problem
• The power of propagation: when GAC is enough
• Constraint satisfaction problems over semilattice block Mal'tsev algebras
• Algebraic properties of multilinear constraints
• Nonnegative weighted \#CSP: an effective complexity dichotomy
• A dichotomy for first-order reducts of unary structures
• Algebraic geometry in first-order logic
• Aggregation of votes with multiple positions on each issue
• The complexity of constraint satisfaction games and QCSP
• A combinatorial constraint satisfaction problem dichotomy classification conjecture
• A strong Mal'cev condition for locally finite varieties omitting the unary type
• Combinatorial problems raised from 2-semilattices
• Smooth approximations and CSPs over finitely bounded homogeneous structures
• On tree-preserving constraints
• The language of stratified sets is confluent and strongly normalising
• A Further Generalized Kettele Algorithm with Multiple Constraints

This page was built for publication: An algebraic approach to multi-sorted constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5897196)