Task-Node Mapping in an Arbitrary Computer Network Using SMT Solver.

Andrii Kovalov, Elisabeth Lobe, Andreas Gerndt, Daniel Ldtke

Browse the full IFM paper archive.