An algebraic approach to multi-sorted constraints

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...

Ful tanımlama

Detaylı Bibliyografya
Asıl Yazarlar: Bulatov, A, Jeavons, P
Materyal Türü: Journal article
Dil:English
Baskı/Yayın Bilgisi: 2003
Search Result 1

An algebraic approach to multi−sorted constraints Yazar: Bulatov, A, Jeavons, P

Baskı/Yayın Bilgisi 2003
Conference item