The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 18231)

Martin Grohe, Venkatesan Guruswami, Stanislav Zivny, Michael Wagner
2018 Dagstuhl Reports  
Constraint satisfaction has always played a central role in computational complexity theory; appropriate versions of CSPs are classical complete problems for most standard complexity classes. CSPs constitute a very rich and yet sufficiently manageable class of problems to give a good perspective on general computational phenomena. For instance, they help to understand which mathematical properties make a computational problem tractable (in a wide sense, e.g., polynomial-time solvable, non-trivially approximable, fixed-parameter tractable,
doi:10.4230/dagrep.8.6.1 dblp:journals/dagstuhl-reports/GroheGZ18 fatcat:3bqo62ly3rgzlnh3bmkvwbuwea