An automatic verifier for the feasibility of special cases of the offline dynamic storage allocation problem. - Soon Aik Low; Yen Kaow Ng; Hung-Khoon Tan (ICWCA, 2012)