Exact algorithms and heuristics for capacitated covering salesman problems | Synapse