Abstract In this paper, we present a novel approach to the evaluation of propositional answer-set programs. In particular, for programs with bounded treewidth, our algorithm is capable of (i) computing the number of answer sets in linear time and (ii) enumerating all answer sets with linear delay. Our algorithm relies on dynamic programming. Therefore, our approach signifificantly differs from standard ASP systems which implement techniques stemming from SAT or CSP, and thus usually do not exploit fifixed parameter properties of the programs. We provide fifirst experimental results which underline that, for programs with low treewidth, even a prototypical implementation is competitive compared to stateof-the-art systems