%0 Thesis %A Castiñeiras Pérez, Ignacio %T Improving the solving efficiency of TOY (FD) and its application to real-life problems %D 2015 %U https://hdl.handle.net/20.500.14352/25617 %~