Title :
Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey
Author :
Krokhin, Andrei ; Bulatov, Andrei ; Jeavons, Peter
Author_Institution :
Dept. of Comput. Sci., Warwick Univ., Coventry, UK
Abstract :
Many computational problems arising in artificial intelligence, computer science and elsewhere can be represented as constraint satisfaction and optimization problems. In this short survey we discuss an approach that is related to the algebraic component of multiple-valued logic and that has proved to be very successful in studying the complexity of constraint satisfaction.
Keywords :
computability; computational complexity; constraint theory; multivalued logic; optimisation; computational complexity; constraint language; constraint satisfaction problem; multiple-valued logic function; optimization; Logic;
Conference_Titel :
Multiple-Valued Logic, 2003. Proceedings. 33rd International Symposium on
Print_ISBN :
0-7695-1918-0
DOI :
10.1109/ISMVL.2003.1201427
