The first group of constraints indicates that some primary point $p$
should be covered by at least one sensor and, if it is not always the
case, overcoverage and undercoverage variables help balancing the
The first group of constraints indicates that some primary point $p$
should be covered by at least one sensor and, if it is not always the
case, overcoverage and undercoverage variables help balancing the