F. Rossi1 , S. Smriglio1 and A. Sassano2
transmitter - testpoint - integer linear program - interval graph