TY - RPRT TI - Counting Answer Sets via Dynamic Programming AU - Johannes Fichte AU - Markus Hecher AU - Michael Morak AU - Stefan Woltran PY - 2016 UR - https://arxiv.org/abs/1612.07601 ID - 1612.07601 ER -