Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment.

Linjie Pan, Ji-Wei Jin, Xin Gao, Wei Sun, Feifei Ma, Minghao Yin, Jian Zhang

Browse the full CP paper archive.