CNF Encodings for the Min-Max Multiple Traveling Salesmen Problem | IEEE Conference Publication | IEEE Xplore