Optimizing second-level dynamic programming algorithms : the D-FLAT^2 system: encodings and experimental evaluation / von Markus Hecher. Wien, 2015
Inhalt