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

Re-assign community