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

詳細記述

書誌詳細
主要な著者: Krokhin, A, Bulatov, A, Jeavons, P
フォーマット: Journal article
言語:English
出版事項: 2003