Linjie Pan, Ji-Wei Jin, Xin Gao, Wei Sun, Feifei Ma, Minghao Yin, Jian Zhang. Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment. In J. Christopher Beck, editor, Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings. Volume 10416 of Lecture Notes in Computer Science, pages 405-413, Springer, 2017. [doi]
Abstract is missing.