An algebraic approach to multi-sorted constraints

An algebraic approach to multi-sorted constraints

Show other versions (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...

书目详细资料
Main Authors:	Bulatov, A, Jeavons, P
格式:	Journal article
语言:	English
出版:	2003

相似书籍

An algebraic approach to multi−sorted constraints
由: Bulatov, A, et al.
出版: (2003)

The Complexity of Constraint Satisfaction: An Algebraic Approach
由: Krokhin, A, et al.
出版: (2004)

Constraint satisfaction problems and finite algebras
由: Bulatov, A, et al.
出版: (2000)

Constraint satisfaction problems and finite algebras
由: Bulatov, A, et al.
出版: (2000)

Classifying the complexity of constraints using finite algebras
由: Bulatov, A, et al.
出版: (2005)

Classifying the complexity of constraints using finite algebras
由: Bulatov, A, et al.
出版: (2005)

Algebraic structures in combinatorial problems
由: Bulatov, A, et al.
出版: (2001)

Constraints and Universal Algebra
由: P.G.Jeavons, et al.
出版: (1998)

Tractable constraints closed under a binary operation
由: Bulatov, A, et al.
出版: (2000)

An algebraic characterisation of complexity for valued constraints
由: Cohen, D, et al.
出版: (2006)

Structural Theory of Automata‚ Semigroups‚ and Universal Algebra
由: Krokhin, A, et al.
出版: (2003)

An algebraic characterisation of complexity for valued constraints
由: Cohen, D, et al.
出版: (2006)

The complexity of maximal constraint languages
由: Bulatov, A, et al.
出版: (2001)

The complexity of maximal constraint languages
由: Bulatov, A, et al.
出版: (2001)

Finite semigroups imposing tractable constraints
由: Bulatov, A, et al.
出版: (2002)

Quantified constraints: Algorithms and complexity
由: Borner, F, et al.
出版: (2003)

Quantified constraints: algorithms and complexity
由: Börner, F, et al.
出版: (2003)

Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey
由: Krokhin, A, et al.
出版: (2003)

Functions of multiple−valued logic and the complexity of constraint satisfaction: A short survey
由: Krokhin, A, et al.
出版: (2003)

An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection.
由: Cohen, D, et al.
出版: (2011)

An algebraic theory of complexity for valued constraints: Establishing a Galois connection
由: Cohen, D, et al.
出版: (2010)

An algebraic theory of complexity for valued constraints: Establishing a Galois connection
由: Cohen, D, et al.
出版: (2011)

An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection
由: Cohen, D, et al.
出版: (2010)

An algebraic theory of complexity for valued constraints: Establishing a Galois connection
由: Cohen, D, et al.
出版: (2011)

A Method to Translate Order-Sorted Algebras to Many-Sorted Algebras
由: Liyi Li, et al.
出版: (2018-02-01)

The complexity of constraint satisfaction games and QCSP
由: Boerner, F, et al.
出版: (2009)

The complexity of constraint satisfaction games and QCSP
由: Börner, F, et al.
出版: (2009)

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

Presenting Constraints
由: Jeavons, P
出版: (2009)

Presenting Constraints
由: Jeavons, P
出版: (2009)

On The Algebraic Structure Of Combinatorial Problems
由: P.G.Jeavons
出版: (1998)

Constructing constraints
由: P.G.Jeavons
出版: (1998)

On the Directly and Subdirectly Irreducible Many-Sorted Algebras
由: Climent Vidal J., et al.
出版: (2015-03-01)

Injective hulls of many-sorted ordered algebras
由: Zhang Xia, et al.
出版: (2019-12-01)

On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
由: Barnaby Martin, et al.
出版: (2012-09-01)

Perfect Constraints Are Tractable
由: Salamon, A, et al.
出版: (2008)

Perfect Constraints Are Tractable
由: Salamon, A, et al.
出版: (2008)

Tractable valued constraints
由: Jeavons, P, et al.
出版: (2012)

Expressibility of valued constraints
由: Živný, S, et al.
出版: (2007)

Tractable Valued Constraints
由: Jeavons, P, et al.
出版: (2013)