A Local Search Algorithm for SMTI and its extension to HRT Problems - Munera, Danny; Diaz, Daniel; Abreu, Salvador; Rossi, Francesca; Saraswat, Vijay; Codognet, Philippe (2015)