An algebraic approach to multi-sorted constraints

An algebraic approach to multi-sorted constraints

Pokaži ostale verzije (1)

Most previous theoretical study of the complexity of the constraint satisfaction problem has considered a simplified version of the problem in which all variables have the same domain. We show here that this apparently minor simplification can in fact change the complexity of the problem, and hence...

Bibliografski detalji
Glavni autori:	Bulatov, A, Jeavons, P
Format:	Journal article
Jezik:	English
Izdano:	2003

Slični predmeti

An algebraic approach to multi−sorted constraints
od: Bulatov, A, i dr.
Izdano: (2003)

The Complexity of Constraint Satisfaction: An Algebraic Approach
od: Krokhin, A, i dr.
Izdano: (2004)

Constraint satisfaction problems and finite algebras
od: Bulatov, A, i dr.
Izdano: (2000)

Constraint satisfaction problems and finite algebras
od: Bulatov, A, i dr.
Izdano: (2000)

Classifying the complexity of constraints using finite algebras
od: Bulatov, A, i dr.
Izdano: (2005)

Classifying the complexity of constraints using finite algebras
od: Bulatov, A, i dr.
Izdano: (2005)

Algebraic structures in combinatorial problems
od: Bulatov, A, i dr.
Izdano: (2001)

Constraints and Universal Algebra
od: P.G.Jeavons, i dr.
Izdano: (1998)

Tractable constraints closed under a binary operation
od: Bulatov, A, i dr.
Izdano: (2000)

An algebraic characterisation of complexity for valued constraints
od: Cohen, D, i dr.
Izdano: (2006)

Structural Theory of Automata‚ Semigroups‚ and Universal Algebra
od: Krokhin, A, i dr.
Izdano: (2003)

An algebraic characterisation of complexity for valued constraints
od: Cohen, D, i dr.
Izdano: (2006)

The complexity of maximal constraint languages
od: Bulatov, A, i dr.
Izdano: (2001)

The complexity of maximal constraint languages
od: Bulatov, A, i dr.
Izdano: (2001)

Finite semigroups imposing tractable constraints
od: Bulatov, A, i dr.
Izdano: (2002)

Quantified constraints: Algorithms and complexity
od: Borner, F, i dr.
Izdano: (2003)

Quantified constraints: algorithms and complexity
od: Börner, F, i dr.
Izdano: (2003)

Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey
od: Krokhin, A, i dr.
Izdano: (2003)

Functions of multiple−valued logic and the complexity of constraint satisfaction: A short survey
od: Krokhin, A, i dr.
Izdano: (2003)

An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection.
od: Cohen, D, i dr.
Izdano: (2011)

An algebraic theory of complexity for valued constraints: Establishing a Galois connection
od: Cohen, D, i dr.
Izdano: (2010)

An algebraic theory of complexity for valued constraints: Establishing a Galois connection
od: Cohen, D, i dr.
Izdano: (2011)

An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection
od: Cohen, D, i dr.
Izdano: (2010)

An algebraic theory of complexity for valued constraints: Establishing a Galois connection
od: Cohen, D, i dr.
Izdano: (2011)

A Method to Translate Order-Sorted Algebras to Many-Sorted Algebras
od: Liyi Li, i dr.
Izdano: (2018-02-01)

The complexity of constraint satisfaction games and QCSP
od: Boerner, F, i dr.
Izdano: (2009)

The complexity of constraint satisfaction games and QCSP
od: Börner, F, i dr.
Izdano: (2009)

Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving
od: Salvador Lucas
Izdano: (2015-12-01)

Presenting Constraints
od: Jeavons, P
Izdano: (2009)

Presenting Constraints
od: Jeavons, P
Izdano: (2009)

On The Algebraic Structure Of Combinatorial Problems
od: P.G.Jeavons
Izdano: (1998)

Constructing constraints
od: P.G.Jeavons
Izdano: (1998)

On the Directly and Subdirectly Irreducible Many-Sorted Algebras
od: Climent Vidal J., i dr.
Izdano: (2015-03-01)

Injective hulls of many-sorted ordered algebras
od: Zhang Xia, i dr.
Izdano: (2019-12-01)

On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
od: Barnaby Martin, i dr.
Izdano: (2012-09-01)

Perfect Constraints Are Tractable
od: Salamon, A, i dr.
Izdano: (2008)

Perfect Constraints Are Tractable
od: Salamon, A, i dr.
Izdano: (2008)

Tractable valued constraints
od: Jeavons, P, i dr.
Izdano: (2012)

Expressibility of valued constraints
od: Živný, S, i dr.
Izdano: (2007)

Tractable Valued Constraints
od: Jeavons, P, i dr.
Izdano: (2013)