"Minimal and Redundant SAT Encodings for the All-Interval-Series Problem."

Teresa Alsinet et al. (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics