TY -
GEN
AU - Dyer, Martin
AU - Richerby, David
AU - Martin Dyer and David Richerby
TI -
The #CSP Dichotomy is Decidable
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - decidability
KW - constraint satisfaction problem
KW - complexity dichotomy
KW - counting problems
PY - 2011
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
ER -