{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:44:08Z","timestamp":1761597848537},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319661575"},{"type":"electronic","value":"9783319661582"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66158-2_26","type":"book-chapter","created":{"date-parts":[[2017,8,22]],"date-time":"2017-08-22T03:24:38Z","timestamp":1503372278000},"page":"405-413","source":"Crossref","is-referenced-by-count":3,"title":["Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment"],"prefix":"10.1007","author":[{"given":"Linjie","family":"Pan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiwei","family":"Jin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xin","family":"Gao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Feifei","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Minghao","family":"Yin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jian","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,23]]},"reference":[{"key":"26_CR1","unstructured":"Frequency Assignment Problem. \nhttp:\/\/fap.zib.de\/"},{"key":"26_CR2","unstructured":"General information on the REC533 propagation prediction model. \nhttp:\/\/www.voacap.com\/itshfbc-help\/rec533-general.html"},{"key":"26_CR3","unstructured":"VOACAP Quick Guide. \nhttp:\/\/www.voacap.com"},{"key":"26_CR4","first-page":"825","volume":"185","author":"CW Barrett","year":"2009","unstructured":"Barrett, C.W., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. Handb. Satisf. 185, 825\u2013885 (2009)","journal-title":"Handb. Satisf."},{"issue":"6","key":"26_CR5","first-page":"723","volume":"12","author":"F Conrad","year":"1924","unstructured":"Conrad, F.: Short-wave radio broadcasting. Proc. Inst. Radio Eng. 12(6), 723\u2013738 (1924)","journal-title":"Proc. Inst. Radio Eng."},{"key":"26_CR6","unstructured":"ILOG CPLEX 11.0 users manual. ILOG S.A., Gentilly, France, p. 32 (2007)"},{"key":"26_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura","year":"2008","unstructured":"Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). doi:\n10.1007\/978-3-540-78800-3_24"},{"issue":"1","key":"26_CR8","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1023\/A:1009690321348","volume":"4","author":"J-K Hao","year":"1998","unstructured":"Hao, J.-K., Dorne, R., Galinier, P.: Tabu search for frequency assignment in mobile radio networks. J. Heuristics 4(1), 47\u201362 (1998)","journal-title":"J. Heuristics"},{"issue":"4","key":"26_CR9","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1109\/TBC.2002.806793","volume":"48","author":"L Idoumghar","year":"2002","unstructured":"Idoumghar, L., Debreux, P.: New modeling approach to the frequency assignment problem in broadcasting. IEEE Trans. Broadcast. 48(4), 293\u2013298 (2002)","journal-title":"IEEE Trans. Broadcast."},{"key":"26_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"650","DOI":"10.1007\/978-3-319-44953-1_41","volume-title":"Principles and Practice of Constraint Programming","author":"F Ma","year":"2016","unstructured":"Ma, F., Gao, X., Yin, M., Pan, L., Jin, J., Liu, H., Zhang, J.: Optimizing shortwave radio broadcast resource allocation via pseudo-boolean constraint solving and local search. In: Rueher, M. (ed.) CP 2016. LNCS, vol. 9892, pp. 650\u2013665. Springer, Cham (2016). doi:\n10.1007\/978-3-319-44953-1_41"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"Yokoo, M., Hirayama, K.: Frequency assignment for cellular mobile systems using constraint satisfaction techniques. In: Proceedings of the IEEE Vehicular Technology Conference, vol. 2, pp. 888\u2013894 (2000)","DOI":"10.1109\/VETECS.2000.851253"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66158-2_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,22]],"date-time":"2017-08-22T03:37:18Z","timestamp":1503373038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66158-2_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319661575","9783319661582"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66158-2_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}