On the Use of Binary Programming for Sensor Scheduling | IEEE Journals & Magazine | IEEE Xplore