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...
Main Authors: | , , |
---|---|
Format: | Journal article |
Language: | English |
Published: |
2003
|
_version_ | 1797073878222110720 |
---|---|
author | Krokhin, A Bulatov, A Jeavons, P |
author_facet | Krokhin, A Bulatov, A Jeavons, P |
author_sort | Krokhin, A |
collection | OXFORD |
description | 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. |
first_indexed | 2024-03-06T23:28:16Z |
format | Journal article |
id | oxford-uuid:6b266175-366b-492f-9d7b-97067ade7f8d |
institution | University of Oxford |
language | English |
last_indexed | 2024-03-06T23:28:16Z |
publishDate | 2003 |
record_format | dspace |
spelling | oxford-uuid:6b266175-366b-492f-9d7b-97067ade7f8d2022-03-26T19:01:54ZFunctions of multiple-valued logic and the complexity of constraint satisfaction: A short surveyJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:6b266175-366b-492f-9d7b-97067ade7f8dEnglishSymplectic Elements at Oxford2003Krokhin, ABulatov, AJeavons, PMany 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. |
spellingShingle | Krokhin, A Bulatov, A Jeavons, P Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey |
title | Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey |
title_full | Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey |
title_fullStr | Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey |
title_full_unstemmed | Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey |
title_short | Functions of multiple-valued logic and the complexity of constraint satisfaction: A short survey |
title_sort | functions of multiple valued logic and the complexity of constraint satisfaction a short survey |
work_keys_str_mv | AT krokhina functionsofmultiplevaluedlogicandthecomplexityofconstraintsatisfactionashortsurvey AT bulatova functionsofmultiplevaluedlogicandthecomplexityofconstraintsatisfactionashortsurvey AT jeavonsp functionsofmultiplevaluedlogicandthecomplexityofconstraintsatisfactionashortsurvey |