. "Mathematical Foundations of Computer Science" . "1"^^ . . . "3"^^ . "Systems of Equations over Finite Semigroups and the #CSP Dichotomy Conjecture" . . "000240271700051" . "Larose, Benoit" . "RIV/00216224:14310/06:00017643!RIV10-MSM-14310___" . "P(1M0545), Z(MSM0021622409)" . "RIV/00216224:14310/06:00017643" . . "[082FB706BDE1]" . "Systems of Equations over Finite Semigroups and the #CSP Dichotomy Conjecture"@en . . . "Tesson, Pascal" . "0302-9743" . "Kl\u00EDma, Ond\u0159ej" . . . "Springer-Verlag" . "14310" . . . "Systems of Equations over Finite Semigroups and the #CSP Dichotomy Conjecture" . . . "Systems of Equations over Finite Semigroups and the #CSP Dichotomy Conjecture"@en . "systems of equations; semigroups; #CSP problem"@en . "2006-01-01+01:00"^^ . . "Berlin" . . "We study the complexity of counting the number of solutions to a system of equations over a fixed finite semigroup. We show that this problem is always either in FP or #P-complete and describe the borderline precisely. We use these results to convey some intuition about the conjectured dichotomy for the complexity of counting the number of solutions in constraint satisfaction problems." . "Star\u00E1 Lesn\u00E1, Slovensko" . "502963" . . "978-3-540-37791-7" . "12"^^ . "We study the complexity of counting the number of solutions to a system of equations over a fixed finite semigroup. We show that this problem is always either in FP or #P-complete and describe the borderline precisely. We use these results to convey some intuition about the conjectured dichotomy for the complexity of counting the number of solutions in constraint satisfaction problems."@en . . .