Minimal and Redundant SAT Encodings for the All-Interval-Series Problem | Publicación