The requested URL /publications/files/SurynekPavel_Reduced-Code_IJCAI-2015.ps was not found on this server.