The complexity of constraint satisfaction: an algebraic approach

被引：0
|
作者：
Krokhin, A [1 ]
Bulatov, A [1 ]
机构：
[1] Univ Durham, Dept Comparat Biosci, Durham DH1 3LE, England
来源：
STRUCTURAL THEORY OF AUTOMATA, SEMIGROUPS, AND UNIVERSAL ALGEBRA | 2005年 / 207卷
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Many computational problems arising in artificial intelligence, computer science and elsewhere can be represented as constraint satisfaction and optimization problems. In this survey paper we discuss an algebraic approach that has proved to be very successful in studying the complexity of constraint problems.
引用
收藏
页码：181 / 213
页数：33
相关论文
共 50 条
  • [1] Algebraic Approach to Promise Constraint Satisfaction
    Bulin, Jakub
    Krokhin, Andrei
    Oprsal, Jakub
    [J]. PROCEEDINGS OF THE 51ST ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING (STOC '19), 2019, : 602 - 613
  • [2] Algebraic Approach to Promise Constraint Satisfaction
    Barto, Libor
    Bulin, Jakub
    Krokhin, Andrei
    Oprsal, Jakub
    [J]. JOURNAL OF THE ACM, 2021, 68 (04)
  • [3] ON THE SCOPE OF THE UNIVERSAL-ALGEBRAIC APPROACH TO CONSTRAINT SATISFACTION
    Bodirsky, Manuel
    Hils, Martin
    Martin, Barnaby
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (03)
  • [4] On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
    Bodirsky, Manuel
    Hils, Martin
    Martin, Barnaby
    [J]. 25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010), 2010, : 90 - 99
  • [5] Horn versus full first-order: Complexity dichotomies in algebraic constraint satisfaction
    Bodirsky, Manuel
    Jonsson, Peter
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2012, 22 (03) : 643 - 660
  • [6] On the complexity of global constraint satisfaction
    Bazgan, C
    Karpinski, M
    [J]. ALGORITHMS AND COMPUTATION, 2005, 3827 : 624 - 633
  • [7] Constraint satisfaction, complexity, and logic
    Kolaitis, PG
    [J]. METHODS AND APPLICATIONS OF ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3025 : 1 - 2
  • [8] Computational complexity of constraint satisfaction
    Vollmer, Heribert
    [J]. COMPUTATION AND LOGIC IN THE REAL WORLD, PROCEEDINGS, 2007, 4497 : 748 - 757
  • [9] The complexity of soft constraint satisfaction
    Cohen, David A.
    Cooper, Martin C.
    Jeavons, Peter G.
    Krokhin, Andrei A.
    [J]. ARTIFICIAL INTELLIGENCE, 2006, 170 (11) : 983 - 1016
  • [10] THE COMPLEXITY OF VALUED CONSTRAINT SATISFACTION
    Jeavons, Peter
    Krokhin, Andrei
    Zivny, Stanislav
    [J]. BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2014, (113): : 22 - 55
12345