Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis

Bernardo Cuteri, Carmine Dodaro, Francesco Ricca +1

Answer Set Programming (ASP) is a well-established declarative paradigm. One of the successes of ASP is the availability of efficient systems. State-of-the-art systems are based on…