TY  - RPRT
TI  - Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis
AU  - Bernardo Cuteri
AU  - Carmine Dodaro
AU  - Francesco Ricca
AU  - Peter Schüller
PY  - 2017
DO  - 10.1017/s1471068417000254
UR  - https://arxiv.org/abs/1707.04027
ID  - 1707.04027
ER  -