Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey

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

Full description

Bibliographic Details
Main Authors: Krokhin, A, Bulatov, A, Jeavons, P
Format: Journal article
Language:English
Published: 2003
Description
Summary: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 succesful in studying the complexity of constraint satisfaction.