Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis
Theory Solving Made Easy with Clingo 5